Theorem Complex.arg_div_self

Modification history

2025-01-26 04:59
Mathlib/Analysis/SpecialFunctions/Complex/Arg.lean
feat: `log (x / x) = 0` (#21056) …
Added Complex.arg_div_selfView on Github →