Skip to content
Back to pull request #21338

[Merged by Bors] - chore(Logic/Equiv): change type of sumEquivSigmaBool to simp normal form #43882

Sign in to view logs

[Merged by Bors] - chore(Logic/Equiv): change type of sumEquivSigmaBool to simp normal form

[Merged by Bors] - chore(Logic/Equiv): change type of sumEquivSigmaBool to simp normal form #43882

post-or-update-summary-comment

post-or-update-summary-comment
succeeded Feb 2, 2025 in 46s