Theorem Nat.pow_self_pos

Modification history