FormulaRabbit81
FormulaRabbit81
> Thanks! This is a first round of comments on the auxiliary lemma. There are several remarks about the code which can be applied to your other proofs, so please...
-awaiting-author
> Thanks for the PR! It's getting close to a mergeable state. > > Sorry for the huge suggestions in the comments, but they are due to one change with...
-awaiting-author
Thanks again for the review! I've committed your suggestions and had a few small notes / questions: - isTightMeasureSet_singleton broke when I merged so I had to add an import...
-awaiting-author