Theorem rank_quotient_eq_of_le_torsion

Modification history