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

modulesForbiddenWindows

Mathlib.Tactic.Linter.TextBased

URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.TextBased.linter.modulesForbiddenWindows

← MathLib Explorer