The top documents tagged [formal abstract math]