Skip to content
Back to pull request #21338

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

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 #80270

Check all files imported

Check all files imported
succeeded Feb 2, 2025 in 37s