Def Foo.bar

Modification history

2026-05-28 11:17
MathlibTest/Linter/AuxLemma.lean
feat(Tactic/Linter): add `auxLemma` linter for auto-generated declaration references (#37364) …
Added Foo.barView on Github →