Theorem List.take_repeat

Modification history