Def Mathlib.Deriving.Traversable.deriveLawfulFunctor

Modification history

2023-07-12 00:58

Mathlib/Tactic/DeriveTraversable.lean

feat: port `Traversable` deriving handlers (#5606)

Added Mathlib.Deriving.Traversable.deriveLawfulFunctor View on Github →