Theorem LowerSet.Iic_infᵢ₂

Modification history