Commit 2022-04-19 20:26 5038a4a9
View on Github →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).
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).