Skip to content

Use getPPOption

0e38ca9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - fix(Algebra/BigOperators/Group/Finset): Add missing binder annotation with pp.analyze in Finset.sum #33070

Use getPPOption
0e38ca9
Select commit
Loading
Failed to load commit list.