Add Dimitrov's theorem#479

jinpingzou73517 wants to merge 2 commits into

leanprover:mainleanprover/lean-eval:mainfrom

jinpingzou73517:mainjinpingzou73517/lean-eval:mainCopy head branch name to clipboard