Theorem Module.length_eq_rank

Modification history