Theorem isUpperSet_sInter

Modification history