Commit 2020-03-19 15:12 9dbc6069

refactor(*): drop lattice namespace (#2166)

• refactor(*): drop lattice namespace Other changes:
• rename *neg* to *compl* in boolean_algebra. I didn't touch sub in boolean_algebra; should it become sdiff?
• Fix some compile failures
• Fix the rest of compile failures Drop real.Sup and real.Inf, define instances instead.
• fix build
• fix build
• Fix build