4 ms·Dang autocorrect. “sideline” should be Dedekindby drdeca 1y agoDang autocorrect. “sideline” should be Dedekind