bool_ss

boolSimps.bool_ss : simpset

Re-exported from bossLib.bool_ss. See that entry for full documentation.