Def String.rightpad

Modification history

2024-04-28 22:28
Mathlib/Data/String/Defs.lean
feat: 'lake exe pole' computes the longest pole (#8361) …
Added String.rightpadView on Github →