[Merged by Bors] - chore(LinearAlgebra/Matrix/Nondegenerate): generalize lemmas to CommSemiring#41271

kim-em wants to merge 1 commit into

masterleanprover-community/mathlib4:masterfrom

claude/nondegenerate-commsemiringleanprover-community/mathlib4:claude/nondegenerate-commsemiringCopy head branch name to clipboard