Theorem cinfᵢ_unique

Modification history