Mathlib Changelog
v4
Changelog
About
Github
Theorem
Tactic.Elementwise.forget_hom_Type
Modification history
2024-01-17 23:23
Mathlib/Tactic/CategoryTheory/Elementwise.lean
chore(*): rename `FunLike` to `DFunLike` (#9785) …
Modified
Tactic.Elementwise.forget_hom_Type
View on Github →
2023-06-17 07:00
Mathlib/Tactic/CategoryTheory/Elementwise.lean
chore: have CI run on tests in subdirectories (#5065) …
Modified
Tactic.Elementwise.forget_hom_Type
View on Github →
2023-03-16 04:49
Mathlib/Tactic/Elementwise.lean
feat: port `@[elementwise]` attribute (#2882) …
Added
Tactic.Elementwise.forget_hom_Type
View on Github →