Theorem List.map_eq_replicate_iff

Modification history