The top documents tagged [defined sets proof]