Theorem toBoolAlg_zero

Modification history