Def Mathlib.Deriving.Traversable.lawfulFunctorDeriveHandler

Modification history

2024-11-04 05:59
Mathlib/Tactic/DeriveTraversable.lean
chore: bump toolchain to v4.14.0-rc1 (#18597) …
Modified Mathlib.Deriving.Traversable.lawfulFunctorDeriveHandlerView on Github →
2023-07-12 00:58
Mathlib/Tactic/DeriveTraversable.lean
feat: port `Traversable` deriving handlers (#5606)
Added Mathlib.Deriving.Traversable.lawfulFunctorDeriveHandlerView on Github →