adjugate): `adjugate` of a diagonal matrix is diagonal (#13818)

Commit

3 years ago

feat(linear_algebra/matrix/adjugate): `adjugate` of a diagonal matrix is diagonal (#13818) This proof is a bit ugly...

Author

eric-wieser

Parents