Theorem infₛ_eq_infᵢ'

Modification history