Theorem UpperSet.coe_sInf

Modification history