chore(Tactic): abstract over Stacks attribute, add Wikidata attribute#39255

jcommelin wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

jcommelin:wikidatajcommelin/mathlib4:wikidataCopy head branch name to clipboard