Additions to cartesian morphisms

UniMath / agda-unimath

The agda-unimath library

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

MIT License

222 stars 71 forks source link

Closed fredrik-bakke closed 7 months ago

fredrik-bakke commented 8 months ago

Additions written while working on #930. Depends on #1086.

fredrik-bakke commented 7 months ago

Done!