(0,d) | d in D, d /= bottom(D)

No definitions found for '(0,d) | d in D, d /= bottom(D)'


[email protected]