UnfoldComponent — Mathlib · SciLib

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

UnfoldComponent

Mathlib.Tactic.Widget.InteractiveUnfold

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.InteractiveUnfold.UnfoldComponent

← MathLib Explorer