Theorem smul_eq_self_of_preimage_zpow_eq_self

Modification history