Theorem ofBoolAlg_inf

Modification history