Def Mathlib.Deriving.Traversable.getFVarIdsNotImplementationDetails

Modification history