issues
search
b-mehta
/
topos
Topos theory in lean
55
stars
2
forks
source link
In an LCC, pullback preserves epi
#23
Closed
b-mehta
closed
4 years ago
b-mehta
commented
4 years ago
Depends on #24
Depends on #24