Assertion list
boolean algebra (primary) → HasProperty

Results from Ascent++: 1
boolean algebraHasProperty isomorphic 0.41