Theorem Nat.isLeast_nth

Modification history