Theorem LinearMap.splittingOfFinsuppSurjective_injective

Modification history