We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
simplicial-type-theory
is-not-prop-is-quasicoherently-idempotent-id-𝕊¹
loop-homotopy-circle
