Theorem conjneg_ne_zero

Modification history

2024-09-04 05:09
Mathlib/Algebra/Star/Conjneg.lean
feat: Conjugation-negation operator (#16181) …
Added conjneg_ne_zeroView on Github →