Acyclic maps are closed under retracts

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

222 stars 71 forks source link

Closed tomdjong closed 7 months ago

tomdjong commented 7 months ago

Easy corollary as @fredrik-bakke added retracts of maps to the library

fredrik-bakke commented 7 months ago

Thanks for the contribution :)