Theorem cinfₛ_le_cinfₛ'

Modification history