Theorem LinearMap.splittingOfFunOnFintypeSurjective_splits

Modification history