Mathlib v3 is deprecated. Go to Mathlib v4

Def string.popn

Modification history

2019-08-16 02:19
src/data/string/defs.lean
feat(tactic/sanity_check): add #sanity_check command (#1318) …
Added string.popnView on Github →