The recovered incoming map is right almost split

theorem MagnitudeConjecture.RightModule.FiniteIndecomposableSkeleton.standardFormRecoveredIncomingMap_rightAlmostSplit {k A : Type u} [Field k] [IsAlgClosed k] [Ring A] [Algebra k A] [FiniteDimensional k A] [IsNoetherianRing Aᵐᵒᵖ] (S : FiniteIndecomposableSkeleton k A) (z : Fin S.n) : QuotientSubmoduleEquidistribution.IsRightAlmostSplit (S.standardFormRecoveredIncomingMap z)

The complete recovered incoming mesh is right almost split.