Theorem IsMetricSeparated.union_right_iff

Modification history