Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification#234
Closed
CatarinaGamboa wants to merge 2 commits into
Closed
Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification#234CatarinaGamboa wants to merge 2 commits into
CatarinaGamboa wants to merge 2 commits into
