Theorem String.leftpad_length

Modification history