Theorem LinearMap.polar_weak_closed

Modification history