Commit 2020-08-16 04:46 b1e7fb2d
View on Github →feat (category_theory/over): composition of over.map
(#3798)
Filtering in some defs from the topos project.
Depends on #3797.
feat (category_theory/over): composition of over.map
(#3798)
Filtering in some defs from the topos project.
Depends on #3797.