Theorem List.getElem?_getD_replicate_default_eq

Modification history