Theorem Nat.maxPowDiv.go_succ

Modification history