Theorem pow_eq_one_iff_cases

Modification history