Skip to content

Commit

Permalink
chore(RealInterpolationTheorem): misc golfs (#116)
Browse files Browse the repository at this point in the history 
Not exhaustive at all.

---------

Co-authored-by: Pietro Monticone <[email protected]>
  • Loading branch information
@grunweg @pitmonticone
grunweg and pitmonticone authored Sep 9, 2024
1 parent 5e77598 commit 208e035
Showing 1 changed file with 236 additions and 363 deletions.
Loading

0 comments on commit 208e035

Please sign in to comment.