Theorem DiffContOnCl.ball_subset_image_closedBall

Modification history

2023-06-14 15:16
Mathlib/Analysis/Complex/OpenMapping.lean
feat: port Analysis.Complex.OpenMapping (#5050)
Added DiffContOnCl.ball_subset_image_closedBallView on Github →