Theorem LinearMap.separatingLeft_congr_iff

Modification history