Def Mathlib.Deriving.Traversable.deriveFunctor

Modification history