Theorem Nat.pow_div

Modification history