Closed dginev closed 2 weeks ago
@dginev I think but could you confirm this is renaming the known/unknown concept categories to supprted/unsupported everywhere (rather than introducing a new pair of classes)?
If so seems fine to me
@davidcarlisle yes, confirming this is a rename, no meaningful content changes.
There are a couple of changed prepositions and a couple of squashed typos.
sorry ignore me I will delete confusing/wrong comments above, I confused myself: #513 is already merged so this is good against the current branch.
Supported/unsupported may not be quite perfect, but to me the seem much better than known/unknown.
I like supported/unsupported. Since we all agree, I'll merge it.
This PR offers a preview of the supported/unsupported word choice for the current known/unknown concept names.
It follows a discussion with @polx on the www-math mailing list