Mon, 10 Jul 2023 01:53:32 +0100 Chengsong more
Mon, 10 Jul 2023 01:51:46 +0100 Chengsong overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
(0) -300 -100 -30 -10 -2 +2 tip