Theorem Nat.pow_self_mul_pow_self_le

Modification history