Mathlib Changelog
v4
Changelog
About
Github
Def
MyImp
Modification history
2025-11-18 14:10
MathlibTest/Contrapose.lean
feat(contrapose): cancel negations, and support `↔` (#31510) …
Added
MyImp
View on Github →