Theorem MyLE.trans

Modification history

2024-10-19 08:15

test/trans.lean

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

Deleted MyLE.trans View on Github →

2023-05-17 23:46

test/trans.lean

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

Added MyLE.trans View on Github →