Theorem List.replicate_one

Modification history