Theorem LinearMap.surjective_compr₂ₛₗ_of_equiv

Modification history