search

UniMath / agda-unimath

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

`comp-equiv` #1147

Closed EgbertRijke closed 3 weeks ago

EgbertRijke commented 3 weeks ago

Renaming equiv-comp to comp-equiv to follow the scheme for all the other instances of composition.