Theorem String.length_replicate

Modification history