sop-core-0.5.0.1: True Sums of Products

Index - L

lengthSListData.SOP.Sing, Data.SOP
liftA2_NPData.SOP.NP
liftA2_NSData.SOP.NS
liftA2_POPData.SOP.NP
liftA2_SOPData.SOP.NS
liftA3_NPData.SOP.NP
liftA3_POPData.SOP.NP
liftA_NPData.SOP.NP
liftA_NSData.SOP.NS
liftA_POPData.SOP.NP
liftA_SOPData.SOP.NS
LiftedCoercibleData.SOP.Constraint, Data.SOP