Theorem Module.rank_le_one_iff_top_isPrincipal

Modification history