@mehbark8/25/2023, 3:53 AMsometimes i think about how mathlib defines real numbers click around for a bit trying to understand it go to the wikipedia page about the construction of the real numbers give up #lean4#lean#mathlib#cauchy#cauchy reals#real numbers#ℝ#something something infinite series#something something convergence#math#math FAIL#low effort#text postsee all
