Def MyImp

Modification history

2025-11-18 14:10
MathlibTest/Contrapose.lean
feat(contrapose): cancel negations, and support `↔` (#31510) …
Added MyImpView on Github →