∫ Утверждение Mathlib

name

Mathlib.Tactic.Widget.StringDiagram

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Widget.StringDiagram.Kind.name

← MathLib Explorer