Def Mathlib.Tactic.Widget.StringDiagram.Kind.name

Modification history