Theorem LinearMap.surjective_compr₂ₛₗ_of_exists_rightInverse

Modification history