Theorem binfᵢ_const

Modification history