Theorem Function.not_involutive

Modification history

2024-03-29 19:17
Mathlib/Logic/Function/Basic.lean
feat: `Not` is involutive (#11192)
Added Function.not_involutiveView on Github →