Theorem Module.Free.rank_eq_card_chooseBasisIndex

Modification history