Closed scruffian closed 4 years ago
This looks like the wrong lemma, so I corrected it. Is this the right place to make corrections?
@jag3773
Looks good. Thank you.
This looks like the wrong lemma, so I corrected it. Is this the right place to make corrections?
@jag3773