Theorem Complex.add_intCast_mem_integerComplement

Modification history

2026-02-04 15:37
Mathlib/Analysis/Complex/IntegerCompl.lean
chore(UpperHalfPlane): redefine as a structure (#34597) …
Added Complex.add_intCast_mem_integerComplementView on Github →