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

Node

Mathlib.Tactic.Widget.StringDiagram

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

← MathLib Explorer