Theorem List.eq_replicate_of_mem

Modification history