Def Mathlib.Deriving.Traversable.mkOneInstance

Modification history