History of NaturalNumbers

No diff available--this is the first major revision. (no other diffs)

	Revision 0 . . January 2, 2025 18:00 by 3.145.61.142