chore: migrate non-mathlib part of 100.yaml and 1000.yaml - #44114

chore: migrate non-mathlib part of 100.yaml and 1000.yaml#44114

joneugster wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

joneugster:chore/migrate-100-yamljoneugster/mathlib4:chore/migrate-100-yamlCopy head branch name to clipboard