Theorem myPred_disjoint_singleton_right

Modification history

2026-03-01 06:36
MathlibTest/DefEqAbuse.lean
feat(Tactic): add `#defeq_abuse` tactic combinator (#35750) …
Added myPred_disjoint_singleton_rightView on Github →