User contributions for Stan
Jump to navigation
Jump to search
26 January 2020
- 09:5709:57, 26 January 2020 diff hist +108 Banach Fixed-Point Theorem There 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