kisonecat/m2o2c2 — pull request #57 by bartbosma (2014-03-28 12:48:55+00:00)
Title: Update formal-limit.tex

In definition of limit, f(p) should be f(x). Note that f(p) doesn't necessarily exist is p is not in U.