Theorem List.length_repeat'

Modification history