Homotopy Type Theory UMyn8W7b (Rev #459, changes)

Showing changes from revision #458 to #459: Added | Removed | Changed

Revision on September 5, 2024 at 18:22:28 by Anonymouse. See the history of this page for a list of all contributions to it.