Theorem List.getI_cons_zero

Modification history