Def Mathlib.Deriving.Traversable.mkCasesOnMatch

Modification history