Mathlib Changelog
v4
Changelog
About
Github
Def
String.isPrefixOf?
Modification history
2023-07-13 01:24
Mathlib/Data/String/Defs.lean
chore: bump to nightly-2023-07-01 (#5409) …
Deleted
String.isPrefixOf?
View on Github →
2022-11-29 19:28
Mathlib/Data/String/Defs.lean
feat: better name guessing for to_additive (#779) …
Modified
String.isPrefixOf?
View on Github →
2022-10-23 12:09
Mathlib/Tactic/Simps/Basic.lean
feat: port simps (#445) …
Added
String.isPrefixOf?
View on Github →