Theorem IsLowerSet.ordConnected

Modification history