[Merged by Bors] - chore(Logic/Equiv): change type of sumEquivSigmaBool to simp normal form#21338
Closed
lambda-fairy wants to merge 2 commits intomasterfrom equiv-bool-rec
+2-2
sumEquivSigmaBool to simp normal form#21338