Theorem List.eq_replicate_length

Modification history