Theorem Complex.integerComplement.ne_one

Modification history

2025-07-04 10:05
Mathlib/Analysis/Complex/IntegerCompl.lean
chore: whitespace fixes (#26714) …
Modified Complex.integerComplement.ne_oneView on Github →
2024-11-15 10:19
Mathlib/Analysis/Complex/IntegerCompl.lean
feat(Analysis): integer complement in `ℂ` (#16542) …
Added Complex.integerComplement.ne_oneView on Github →