Closed bstone closed 8 years ago
Those methods (like isAtomic) require a lattice for them to make sense, not just a poset, so I have them check whether it is a lattice first and then used "Not lattice." to basically mean that the test is not applicable.
Sounds good to me. I was just checking.
@bbarwick, the menu items are not correct in Poset. See here: