Def MyLE

Modification history

2026-08-21 16:38

MathlibTest/Attribute/ToDual.lean

fix(Translate): apply `(attr := ...)` attributes in order of application time (#42765) …

Added MyLE View on Github →

2024-10-19 08:15

test/trans.lean

chore: move trans tactic to Batteries (batteries#1001) (#17931)

Deleted MyLE View on Github →

2023-05-17 23:46

test/trans.lean

fix: use cleanupAnnotations in symm and trans (#3768) …

Added MyLE View on Github →