Theorem exists_zpow_eq_one

Modification history