Commit 2025-01-22 09:34 aaf3fad0
View on Github →feat(Logic/Equiv/Basic): sumSigmaDistrib, finSigmaFinEquiv (#19618)
Upstreamed from the EquationalTheories project.
feat(Logic/Equiv/Basic): sumSigmaDistrib, finSigmaFinEquiv (#19618)
Upstreamed from the EquationalTheories project.