Theorem List.getI_zero_eq_head!

Modification history