feat(Dehn function): define Dehn functions#42005

homeowmorphism wants to merge 7 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

homeowmorphism:Group.Presentation.Dehnhomeowmorphism/mathlib4:Group.Presentation.DehnCopy head branch name to clipboard