Theorem UpperSet.mem_infᵢ₂_iff

Modification history