Def Mathlib.Deriving.Traversable.simpFunctorGoal

Modification history

2024-02-02 04:48
Mathlib/Tactic/DeriveTraversable.lean
chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)
Modified Mathlib.Deriving.Traversable.simpFunctorGoalView on Github →
2023-07-12 00:58
Mathlib/Tactic/DeriveTraversable.lean
feat: port `Traversable` deriving handlers (#5606)
Added Mathlib.Deriving.Traversable.simpFunctorGoalView on Github →