Theorem LinearMap.leftInverse_splittingOfFinsuppSurjective

Modification history