On delooping in homotopy type theory and application to Eilenberg-MacLane space types and Steenrod operations:
On projective spaces in synthetic algebraic geometry:
Last revised on May 24, 2024 at 05:26:12. See the history of this page for a list of all contributions to it.