Def Mathlib.Deriving.Traversable.getAuxDefOfDeclName

Modification history