The top documents tagged [proper math proofs]