Theorem AffineBasis.card_eq_finrank_add_one

Modification history