Theorem UpperSet.coe_eq_empty

Modification history