Theorem UpperSet.coe_supᵢ

Modification history