Theorem List.getI_eq_default

Modification history