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

Feedback on solution-sets #44

Closed

danmargalit opened this issue Sep 9, 2018 · 0 comments

Assignees

Collaborator

danmargalit commented Sep 9, 2018

In reference to version cebba0d48f43784542dd70c9421777691a9419c6

In the key observation, let's not use the term "nonempty".

QBobWatson assigned danmargalit

danmargalit closed this as completed

danmargalit pushed a commit that referenced this issue


          removed the word nonempty three times #44

39fb4e7

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.