improve display of proof in math module, begin 5 minutes doc for single files