@[wikidata]
Paste a pull request; review each tagged declaration with its existing GitHub comments, then submit your decisions.
leanprover-community/mathlib4
Paste this as a comment on the PR ↗: