revised inf arithmetic question again, like to ordinals, cardinals
[lambda.git] / _family_tree.mdwn
2015-02-01 Jimadd more stubs