Theorem complex.norm_le_of_forall_mem_frontier_norm_le
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.norm_le_of_forall_mem_frontier_norm_leView on Github →