Def Mathlib.Tactic.getRel

Modification history

2024-10-19 08:15
Mathlib/Tactic/Relation/Trans.lean
chore: move trans tactic to Batteries (batteries#1001) (#17931)
Deleted Mathlib.Tactic.getRelView on Github →
2024-06-17 10:24
Mathlib/Tactic/Relation/Trans.lean
feat(Tactic/Relation/Trans): trans tactic for implications (#13719) …
Added Mathlib.Tactic.getRelView on Github →