mathlib

cc0b571b - add_tactic_doc and revise doc-module