I was going to mention that result but was too lazy to find it and then my comment got excessively long. Thanks!
I was going to mention that result but was too lazy to find it and then my comment got excessively long. Thanks!