search

b-mehta / topos

Topos theory in lean
56 stars 2 forks source link

move comma.lean and pullback.lean to mathlib #10

Open EdAyers opened 4 years ago