Commit 2017-09-04 12:33 80e14742

fix(logic/basic): fix simp performance issue Having forall_true_iff' as a simp lemma caused way too much backtracking, so only the 2 and 3 implication versions are added as simp lemmas, and the user can add forall_true_iff' to their simp set if they need to reduce more.