Theorem Module.dual_rank_eq

Modification history