Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

~~similar to an ~~

category: redirected to nlab

…

- Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, The Univalence Principle (abs:2102.06275)

Last revised on June 9, 2022 at 19:21:09. See the history of this page for a list of all contributions to it.