77
Nov. 30, 2023, 5:04 p.m.
// talking about real numbers and dedekind cuts Rose: Oh, yeah, shit's getting real!