Theorem infᵢ_of_empty'

Modification history