adjugate): add `det_eq_sum_mul_adjugate_row` (#19117)

Commit

2 years ago

feat(linear_algebra/matrix/adjugate): add `det_eq_sum_mul_adjugate_row` (#19117) From lean-matrix-cookbook

Author

eric-wieser

Parents