memorism's Highlights on '計算上の既約性は本当に存在するのか? : r/math' | Glasp