The top documents tagged [mathematical premises]