chore(Module.FinitePresentation): rename Module.FinitePresentation to Module.IsFinitelyPresented#41941

homeowmorphism wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

homeowmorphism:Module.IsFinitelyPresentedhomeowmorphism/mathlib4:Module.IsFinitelyPresentedCopy head branch name to clipboard