mathlib3

72d6325a - feat(sanity_check): greatly improve performance (#1389)

feat(sanity_check): greatly improve performance (#1389) * feat(sanity_check): greatly improve performance * move and rename is_in_mathlib_aux * use boolean connectives in some other places * remove some whitespace * fix parentheses, fix tests the tests correctly spotted a mistake I made * add ! as boolean negation * fix binding strength * undo the use of boolean connectives * add back notation ! for bnot