Theorem List.Func.nil_pointwise

Modification history