This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(tactic/linear_combination): allow linear_combination with { exponent := n }#15428
Closed
robertylewis wants to merge 7 commits intomasterfrom lc-exponent
+44
Commits
Commits on Jul 16, 2022
- committed
- committed
Commits on Jul 22, 2022
Commits on Sep 22, 2022
Commits on Sep 23, 2022
- committed
