Theorem cInf_image2_eq_cInf_cInf

Modification history