Show statement of surjection→is-quotient

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

https://1lab.dev

GNU Affero General Public License v3.0

348 stars 68 forks source link

Closed plt-amy closed 4 months ago

plt-amy commented 4 months ago

quickly fixing this on the web editor before i put my laptop away 😅

Lavenza commented 4 months ago