existing definition used Russell universes so added definition for Tarski universes
Anonymous
]]>Thanks. I have added hyperlinks. Now also to Symmetry.
]]>adding section number to source
Anonymous
]]>adding contents and context
Anonymous
]]>starting stub article on essentially small types in homotopy type theory
Anonymous
]]>