History of Cofinality

	Revision 5 . . October 6, 2001 5:39 am by Zundark [deleting last paragraph]
	Revision 4 . . October 6, 2001 5:14 am by AxelBoldt [I am guessing here, please somebody check.]

---

Difference (from prior major revision) (no other diffs)

Removed: 10,12d9

The cofinality of an infinite cardinal, seen as an ordinal with the natural well-order, is itself.