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

verbose

Mathlib.Tactic.Linter.CommandStart

URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.linter.style.commandStart.verbose

← MathLib Explorer