Theorem LinearMap.polar_antitone

Modification history