Theorem LinearMap.polar_empty

Modification history