Theorem infᵢ_le'

Modification history