mathlib3
587af996 - chore(test/matrix): clean up an unused argument (#12986)

Commit

3 years ago

chore(test/matrix): clean up an unused argument (#12986) these aren't caught by linters as examples don't generate declarations

Author

alexjbest

Parents