Theorem pow_card_eq_one'

Modification history