Theorem toBoolAlg_ofBoolAlg

Modification history