Theorem ofBoolAlg_toBoolAlg

Modification history