First, I saw that my initial construction for an old proof was good after all; I'd just *completely forgotten to write half of it down* so verbatim it was nonsense
Second,
First, I saw that my initial construction for an old proof was good after all; I'd just *completely forgotten to write half of it down* so verbatim it was nonsense
Second,