Skip to content

Apply suggestion from @themathqueen

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

[Merged by Bors] - chore(Analysis/Convex/Approximation): reuse sSup_of_nat_affine_eq #37981

Apply suggestion from @themathqueen
c33ff46
Select commit
Loading
Failed to load commit list.