Theorem finrank_eq_nat_card_basis

Modification history