Theorem List.map_eq_repeat_iff

Modification history