Theorem complex.exists_mem_frontier_is_max_on_norm
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.exists_mem_frontier_is_max_on_normView on Github →