Theorem Nat.maxPowDiv.base_mul_eq_succ

Modification history