Theorem List.replicate_right_inj

Modification history