Theorem Complex.upperHalfPlane_inter_integerComplement

Modification history

2025-09-08 19:47
Mathlib/Analysis/Complex/IntegerCompl.lean
feat(Analysis/SpecialFunctions): iterated derivative of cotangent (#27212)
Added Complex.upperHalfPlane_inter_integerComplementView on Github →