Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.graded_object.eval
Modification history
2021-05-30 01:16
src/category_theory/graded_object.lean
feat(algebra/homology): eval and forget functors (#7742) …
Added
category_theory.graded_object.eval
View on Github →