Theorem category_theory.functor.id_obj
Modification history
2019-09-01 11:29
src/category_theory/functor.lean
chore(category_theory/notation): consistently use notation for functor.id (#1378) …
Modified category_theory.functor.id_objView on Github →