Theorem pow_card_eq_one

Modification history