search

UniMath / agda-unimath

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

Base changes of span diagrams #1090

Closed EgbertRijke closed 6 months ago

EgbertRijke commented 6 months ago

In this pull request I introduce: