mathlib
f7301374 - chore(logic/basic): add `and.congr_left_iff` and `@[simp]` attrs (#5268)

Commit

5 years ago

chore(logic/basic): add `and.congr_left_iff` and `@[simp]` attrs (#5268)

Author

urkud

urkud

Parents

Loading