Theorem List.Func.forall_val_of_forall_mem

Modification history