Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-23 15:14 9ccfa926

View on Github →

feat(data/string): add phrasings common to conventional languages (#2493) Just add a pair of string comparison functions with semantics which are common to conventional programming languages. <br> <br> <br>

Estimated changes