Theorem lt_supᵢ_iff

Modification history