Theorem LinearMap.injective_iff_surjective_of_finrank_eq_finrank

Modification history