def Cslib.Lint.topNamespace : Batteries.Tactic.Lint.Linter

A linter for checking that new declarations fall under some preexisting namespace.

Equations

• One or more equations did not get rendered due to their size.