Theorem Module.Free.rank_eq_mk_of_infinite_lt

Modification history