Theorem toBoolAlg_add_add_mul

Modification history