Documentation

Lean.Linter.GlobalAttributeIn