Def Mathlib.Tactic.transExt.config

Modification history

2024-10-19 08:15

Mathlib/Tactic/Relation/Trans.lean

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

Deleted Mathlib.Tactic.transExt.config View on Github →

2023-10-31 09:38

Mathlib/Tactic/Relation/Trans.lean

chore: bump toolchain to v4.3.0-rc1 (#8051) …

Added Mathlib.Tactic.transExt.config View on Github →