Add comments about what is in scope for mathlib#526

fpvandoorn merged 10 commits intolean4leanprover-community/leanprover-community.github.io:lean4from

kbuzzard-mathlib-scopeleanprover-community/leanprover-community.github.io:kbuzzard-mathlib-scopeCopy head branch name to clipboard