Def String.leftpad

Modification history

2024-04-28 22:28

Mathlib/Data/String/Defs.lean

feat: 'lake exe pole' computes the longest pole (#8361) …

Modified String.leftpad View on Github →

2021-10-11 17:57

Mathlib/Data/String/Defs.lean

feat(List/String leftpad) (#66)

Added String.leftpad View on Github →