The top documents tagged [mathematical proofsautumn]