Theorem LowerSet.coe_supᵢ₂

Modification history