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 →