chore: Rename `universal-property-surj` to `universal-property-surjection` - Githubissues

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

219 stars 70 forks source link

chore: Rename `universal-property-surj` to `universal-property-surjection` #1108

Closed fredrik-bakke closed 5 months ago