Def e

Modification history

2026-09-03 17:31
MathlibTest/Linter/InternalConstructor/Source.lean
feat: linter for internal constructors (#42883) …
Added eView on Github →