Theorem infᵢ_false

Modification history