Def Mathlib.Deriving.Traversable.getFVarsNotImplementationDetails

Modification history