Theorem infᵢ_range'

Modification history