search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
219 stars 70 forks source link

Fiberwise orthogonal maps and closure properties of the right class #1152

Closed fredrik-bakke closed 3 months ago

fredrik-bakke commented 3 months ago

This is the replacement for #1032.