Revision as of 03:19, 22 December 2005 edit Randall Holmes (talk \| contribs) Extended confirmed users 945 edits No edit summary		Revision as of 06:26, 22 December 2005 edit undo Randall Holmes (talk \| contribs) Extended confirmed users 945 edits No edit summary Next edit →
Line 11: More will be coming. [[User:Randall Holmes\|Randall Holmes]] 03:19, 22 December 2005 (UTC) The handling of indexed families is a little different from that in my book: I save a level of typing by allowing only index sets of singletons. It is not completely general but is a little easier -- but I still made some mistakes setting it up! [[User:Randall Holmes\|Randall Holmes]] 06:26, 22 December 2005 (UTC)

Talk:Implementation of mathematics in set theory: Difference between revisions