Theorem List.Func.pointwise_nil

Modification history