Def Mathlib.Tactic.DefEqAbuse.isIdenticalSidesStr

Modification history

2026-05-29 13:23

Mathlib/Tactic/DefEqAbuse.lean

chore: bump toolchain to v4.31.0-rc1 (#39980)

Added Mathlib.Tactic.DefEqAbuse.isIdenticalSidesStr View on Github →