Theorem Bool.not_hasRightInverse

Modification history

2025-10-29 00:04
Mathlib/Logic/Equiv/Bool.lean
Feat(Logic): basic properties of boolean negation (#31028) …
Added Bool.not_hasRightInverseView on Github →