Theorem toBoolAlg_mul

Modification history