mathlib3
chore(linear_algebra/determinant): simplify det_mul proof
#1392

Merged

Commits

chore(linear_algebra/determinant): simplify det_mul proof

ChrisHughes24 committed 6 years ago
make det_mul_aux more readable

ChrisHughes24 committed 6 years ago
Merge branch 'master' into ChrisHughes24-patch-1

mergify[bot] committed 6 years ago

Loading