search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

Merge grothendieck.lean from Ed's branch #6

Closed EdAyers closed 4 years ago

EdAyers commented 4 years ago

Done