Theorem LinearMap.zero_mem_polar

Modification history