Def Trans.simple

Modification history

2024-10-19 08:15

Mathlib/Tactic/Relation/Trans.lean

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

Deleted Trans.simple View on Github →

2024-07-15 14:00

Mathlib/Tactic/Relation/Trans.lean

chore(Tactic): reduce use of Implicit, part 2 (#14726)

Modified Trans.simple View on Github →

2022-10-22 16:26

Mathlib/Tactic/Relation/Trans.lean

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

Added Trans.simple View on Github →