search

b-mehta / topos

Topos theory in lean
55 stars 2 forks source link

Composition of monos is mono #12

Closed b-mehta closed 4 years ago

b-mehta commented 4 years ago

Why isn't this already in mathlib? Who knows. Let's do it.