Theorem Set.dual_OrdConnected_iff

Modification history