Theorem Nat.maxPowDiv.zero_base

Modification history