Theorem LowerSet.coe_infᵢ

Modification history