Theorem isLowerSet_iInter₂

Modification history