Theorem List.getD_replicate_default_eq

Modification history