Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-18 15:37 78770333

View on Github →

chore(logic/basic): and_iff_left/right_iff_imp, or.right_comm (#3854) Also add @[simp] to forall_bool and exists_bool

Estimated changes

modified theorem bool.exists_bool
modified theorem bool.forall_bool
added theorem and_iff_left_iff_imp
added theorem and_iff_right_iff_imp
added theorem or.right_comm