Skip to content

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

[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 #58027

label-and-report-new-contributor

succeeded Feb 2, 2025 in 2s