/sci/ - Science & Math

>>12310070
His error is in his motivation for the existence of L. I already conceded (pic: >>12308971) that L exists by Definition 3.2.1, and you can almost certainly arrive at its existence via IVT as well. His error is in his citation of Def 2.3.23 or 3.1.1 as the motivator for his conclusion.