This is because it is a tag applied to a "theorem", but qualifying its "proof"; hence, "pure" is here defined in a way which violates the standard proof irrelevance of mathematical theorems.
They would say that "Pure" is here defined in a way which violates the standard proof irrelevance of mathematical theorems. This is because it is a tag applied to a "theorem", but qualifying its "proof".
This is because it is a tag applied to a "theorem", but qualifying its "proof". They would say that "Pure" is here defined in a way which violates the standard proof irrelevance of mathematical theorems.
This is because it is a tag applied to a "theorem", but qualifying its "proof". They would say that "Pure" is here defined in a way which violates the standard proof irrelevance of mathematical theorems.