Theorem LinearMap.exists_rightInverse_of_surjective

Modification history