User contributions for Stan

Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

26 January 2020

  • 09:5709:57, 26 January 2020 diff hist +108 Banach Fixed-Point TheoremThere was \le inequality but in fact it should have been strict since q<1. I removed the last step (which didn't prove p_1=p_2. It only showed d(p_1,p_2)\le d(p_1,p_2) ), and added a final step in the proof