Theorem List.map_repeat

Modification history