Theorem DiffContOnCl.ball_subset_image_closedBall

Modification history