search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

Add uniqueness of adjoints #30

Closed thjread closed 4 years ago

thjread commented 4 years ago

Closes #14