Def Mathlib.Notation3.MatchState.getFoldArray

Modification history