Theorem supᵢ_const

Modification history