feat: grind annotations in Init.Data.Nat.Div.Basic#11913

pirapira wants to merge 2 commits intoleanprover:masterleanprover/lean4:masterfrom

pirapira:grind-nat-div-basicpirapira/lean4:grind-nat-div-basicCopy head branch name to clipboard