Theorem infᵢ_lt_iff

Modification history