Theorem LinearMap.bijective_compr₂ₛₗ_of_equiv

Modification history