search

UniMath / agda-unimath

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

Basic properties of fiberwise orthogonal maps #1032

Closed fredrik-bakke closed 5 months ago

fredrik-bakke commented 9 months ago

Progress on #930. Depends on #1042.