Theorem IsLowerSet.preimage

Modification history