Theorem ordConnected_iff_upperClosure_inter_lowerClosure

Modification history