Theorem UpperSet.coe_supₛ

Modification history