Def Mathlib.Deriving.Traversable.getFVarIdsNotImplementationDetails

Modification history

2023-07-12 00:58
Mathlib/Tactic/DeriveTraversable.lean
feat: port `Traversable` deriving handlers (#5606)
Added Mathlib.Deriving.Traversable.getFVarIdsNotImplementationDetailsView on Github →