Theorem Nat.subset_range_nth

Modification history