Theorem Nat.range_nth_of_finite

Modification history