feat(Algebra/Group): prod and pi instances for IsDedekindFinite - #42927

feat(Algebra/Group): prod and pi instances for IsDedekindFinite#42927

NoahW314 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

NoahW314:IsDedekindFiniteNoahW314/mathlib4:IsDedekindFiniteCopy head branch name to clipboard