Theorem UpperSet.coe_Ioi

Modification history