See Localization in Homotopy Type theory
Revision on August 26, 2018 at 00:14:41 by Anonymous?. See the history of this page for a list of all contributions to it.