Theorem supᵢ_const_mono

Modification history