Theorem isLowerSet_preimage_ofDual_iff

Modification history