Theorem Set.OrdConnected.mem_nhdsLE

Modification history