Theorem List.replicate_add

Modification history