Theorem theorem_with_local_def

Modification history

2024-11-18 11:19
MathlibTest/MinImports.lean
feat: the upstreamDecl linter (#18702) …
Added theorem_with_local_defView on Github →