UniMath / agda-unimath

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

chore: Remove redundant parentheses in universe level expressions #1125

Closed fredrik-bakke closed 5 months ago