Theorem ContinuousLinearMap.is_weak_closed_closedBall

Modification history