Theorem UpperSet.coe_subset_coe

Modification history