Theorem zo_eq_iff

Modification history

2026-03-04 23:17

MathlibTest/DefEqAbuse.lean

chore: bump toolchain to v4.29.0-rc4 (#36122)

Deleted zo_eq_iff View on Github →

2026-03-01 06:36

MathlibTest/DefEqAbuse.lean

feat(Tactic): add `#defeq_abuse` tactic combinator (#35750) …

Added zo_eq_iff View on Github →