Def Mathlib.Tactic.Widget.StringDiagram.elabStringDiagramCmd

Modification history

2024-09-12 09:29

Mathlib/Tactic/Widget/StringDiagram.lean

feat(CategoryTheory/Monoidal): string diagram command (#15929) …

Added Mathlib.Tactic.Widget.StringDiagram.elabStringDiagramCmd View on Github →