Def aux

Modification history

2025-03-18 15:10
MathlibTest/LintStyle.lean
feat: linter for bare `open (scoped) Classical` (#21947) …
Added auxView on Github →