mathlib

9ccfa926 - feat(data/string): add phrasings common to conventional languages (#2493)

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>