Skip to content
This repository has been archived by the owner on Aug 6, 2022. It is now read-only.

Feedback on row-reduction #419

Open
yohmercy opened this issue May 23, 2022 · 0 comments
Open

Feedback on row-reduction #419

yohmercy opened this issue May 23, 2022 · 0 comments

Comments

@yohmercy
Copy link

In reference to version 224734d

"With a no solutions" should be "with no solutions."

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant