Theorem LinearMap.polar_union

Modification history