basic): arrow_congr preserves properties of binary operators (#4759)

Commit

5 years ago

chore(data/equiv/basic): arrow_congr preserves properties of binary operators (#4759) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

References

Author

eric-wieser

Parents