Theorem LinearMap.polar_univ

Modification history