Def Trans.het

Modification history

2024-10-19 08:15

Mathlib/Tactic/Relation/Trans.lean

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

Deleted Trans.het View on Github →

2024-07-15 21:28

Mathlib/Tactic/Relation/Trans.lean

chore(Tactic): reduce use of autoImplicit, part 3 (#14770)

Modified Trans.het View on Github →

2022-12-21 06:35

Mathlib/Tactic/Relation/Trans.lean

fix: improved transitivity, handles `HEq.trans` (#1125) …

Added Trans.het View on Github →