Theorem List.foldl_argAux_eq_none

Modification history