Theorem LinearMap.polar_mem_iff

Modification history