Theorem Mathlib.Tactic.Contrapose.contrapose_iff₄

Modification history

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