Theorem Nat.isLeast_nth_of_infinite

Modification history