Theorem Nat.pow_eq_self_iff

Modification history