Theorem card_eq_pow_finrank

Modification history