Commit 2026-10-07 14:19 4a7d04df

chore: fix docstrings, make statements private (#44596) Before #42322, it made sense to have separate statements as they didn't need the [SFinite] assumption. Now, since it is in place everywhere, we should adapt the docstrings and only use the stronger statements.