Theorem complex.eq_on_of_eq_on_frontier
Modification history
2022-07-17 04:14
src/analysis/complex/abs_max.lean
feat(analysis/complex/abs_max): add a version of the maximum modulus principle (#15364) …
Modified complex.eq_on_of_eq_on_frontierView on Github →