chore: create a Basic top folder#39703

YaelDillies wants to merge 13 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:basic_folderYaelDillies/mathlib4:basic_folderCopy head branch name to clipboard