mathlib3
5038a4a9 - feat(*): `op_op_op_comm` lemmas (#13528)

Commit

3 years ago

feat(*): `op_op_op_comm` lemmas (#13528) A handful of lemmas of the form `op (op a b) (op c d) = op (op a c) (op b d)`.

Author

YaelDillies

Parents