Commit 2024-10-02 17:17 c669fd15
View on Github →refactor(Data/Real/Archimedean): sSup
/sInf
API cleanup (#16735)
Add a few lemmas, golf the existing ones and update the docstrings to something more precise
refactor(Data/Real/Archimedean): sSup
/sInf
API cleanup (#16735)
Add a few lemmas, golf the existing ones and update the docstrings to something more precise