Theorem t2_separation

Modification history