Theorem iInf_bool_eq

Modification history