Special:EditPage/Template:Math theorem/testcases