Theorem UpperSet.carrier_eq_coe

Modification history