chore(test/matrix): clean up an unused argument (#12986)
chore(test/matrix): clean up an unused argument (#12986)

these aren't caught by linters as examples don't generate declarations







leanprover-community/mathlib,leanprover-community/mathlib