Theorem List.replicate_left_inj

Modification history