Theorem List.getI_nil

Modification history