Theorem List.getI_zero_eq_headI

Modification history