Theorem cbiInf_eq_of_forall

Modification history