Theorem Module.length_eq_finrank

Modification history