James Oswald
About
Blog
Profiles
Contact
Tag: Mathlib
August 29, 2025
Extracting Terms from Big Operators on Sequences in Mathlib