Theorem LinearMap.splittingOfFunOnFintypeSurjective_injective

Modification history