Theorem test_zo_cmd_abuse

Modification history

2026-03-04 23:17
MathlibTest/DefEqAbuse.lean
chore: bump toolchain to v4.29.0-rc4 (#36122)
Deleted test_zo_cmd_abuseView on Github →
2026-03-01 06:36
MathlibTest/DefEqAbuse.lean
feat(Tactic): add `#defeq_abuse` tactic combinator (#35750) …
Added test_zo_cmd_abuseView on Github →