Theorem List.repeat_right_injective

Modification history