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 →