Theorem Complex.continuousOn_arg

Modification history

2025-10-07 21:16
Mathlib/Analysis/SpecialFunctions/Complex/Arg.lean
feat: a few lemmata about `ℂ` (#30305) …
Added Complex.continuousOn_argView on Github →