Theorem Complex.isOpen_compl_range_intCast

Modification history

2024-11-15 10:19
Mathlib/Analysis/Complex/Basic.lean
feat(Analysis): integer complement in `ℂ` (#16542) …
Added Complex.isOpen_compl_range_intCastView on Github →