3 ms·
See this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mmtk/3HEDk5g5uq4J https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...
by doall 11y ago
See this
https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mmtk/3HEDk5g5uq4J https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...