Theorem cinfₛ_Icc

Modification history