Theorem cinfᵢ_mono

Modification history