Commit 2024-10-17 05:23 91529560

View on Github →

chore: cleanup in Data/String/Basic (#17846)

Estimated changes

added theorem String.endPos_empty