mathlib3
f60fd080 - chore(logic/basic): +2 simp lemmas (#5500)

Commit

5 years ago

chore(logic/basic): +2 simp lemmas (#5500) * simplify `a ∨ b ↔ a` to `b → a`; * simplify `a ∨ b ↔ b` to `a → b`.

Author

urkud

Parents