The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Hard Language
If is a class of languages and is a language
and for any we have
then is -hard ( is at least as hard as anything in ) Reduction Function