Commit 2025-01-22 09:34 aaf3fad0

View on Github →

feat(Logic/Equiv/Basic): sumSigmaDistrib, finSigmaFinEquiv (#19618) Upstreamed from the EquationalTheories project. Open in Gitpod

Estimated changes