Theorem isUpperSet_Ici

Modification history