Theorem exists_pow_eq_self_of_coprime

Modification history