Theorem UpperSet.mem_sup_iff

Modification history