Def e₁

Modification history

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