Theorem List.length_repeat

Modification history