Theorem Module.finrank_le_one_iff_top_isPrincipal

Modification history