Theorem normal_separation

Modification history