mathlib

bb6e1d4f - chore(README,docs/*): replace tactic doc files with links to mathlib docs (#2225)

chore(README,docs/*): replace tactic doc files with links to mathlib docs (#2225) * chore(README,doc/*): replace tactic doc files with links to mathlib docs Other cleanup: - replaced leanprover/lean and leanprover/mathlib with leanprover-community/lean and leanprover-community/mathlib - updated pull request template and instructions for contributors with info about tactic doc entries - formatting / style for simp.md and tactic_writing.md - fixed broken link in category_theory.category.default * reword contributor suggestion for tactic tests * reviewer comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>