Theorem category_theory.under.forget_obj
Modification history
2020-09-14 14:48
src/category_theory/over.lean
chore(category_theory/*): make all forgetful functors use explicit arguments (#4139) …
Modified category_theory.under.forget_objView on Github →