Theorem Nat.range_nth_subset

Modification history