Def String.count

Modification history

2023-08-21 04:30

Mathlib/Data/String/Defs.lean

chore: bump Std4 (#6695) …

Deleted String.count View on Github →

2023-04-02 17:01

Mathlib/Data/String/Defs.lean

feat: some string functions, doc-strings, copyright headers (#3220) …

Added String.count View on Github →