agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
359 stars 67 forks source link

Added proof of iso from section and retraction #398

Closed jmarkakis closed 9 months ago

jmarkakis commented 9 months ago

I believe that the last pushed resolves both the empty lines, and adds the where clauses where needed