Theorem List.eq_replicate

Modification history