Def category_theory.limits.cones.forget
Modification history
2020-03-11 18:57
src/category_theory/limits/cones.lean
chore(category_theory/cones): make functor argument of forget explicit (#2128)
Modified category_theory.limits.cones.forgetView on Github →