This reverts commit 3cc38ff6. The reverted pure hypotheses and variables appear in the wrong order.
Attach a file by drag & drop or click to upload
