Theorem List.replicate_zero

Modification history