Jeremy G. Siek
Results
11
comments of
Jeremy G. Siek
Thank you @damhiya for this PR. I like your generalization. I have one suggestion, which is to keep the old theorem as a corollary of the new generalized theorem. Then...