Elementary cosmoi I, Lecture Notes in Math. 420(1974), 134-180. [73] R.H. Steet, extract from a letter to F. Foltz (0)

by R H Street