right_iff_imp`, `or.right_comm` (#3854)

Commit

5 years ago

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

References

Author

urkud

Parents