feat: Add some theorems for String.substrEq
and String.isPrefixOf
#1016
Loading
String.substrEq
and String.isPrefixOf
#1016