Theorem LinearMap.flip_separatingLeft

Modification history