Def nleq_trans

Modification history

2024-10-19 08:15

test/trans.lean

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

Deleted nleq_trans View on Github →

2022-10-22 16:26

test/trans.lean

feat: `symm` and `trans` tactics (#253) …

Added nleq_trans View on Github →