Structure S

Modification history

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