Theorem test₅

Modification history

2026-10-26 09:43
MathlibTest/Linter/ConcreteInstances.lean
feat(Linter): linter that detects concrete instances (#44625) …
Added test₅View on Github →