Theorem Algebra.rank_le_of_surjective_injective

Modification history