[Merged by Bors] - feat(Logic/Equiv/Basic): sumSigmaDistrib, finSigmaFinEquiv#19618
Closed
Timeroot wants to merge 3 commits intomasterfrom EquationalTheories/finSigmaFinEquiv
Commits
Commits on Nov 30, 2024
- committed
Commits on Dec 9, 2024
- committed
- committed