Theorem matrix.transpose_nonsing_inv
Modification history
2021-10-23 14:30
src/linear_algebra/matrix/nonsingular_inverse.lean
refactor(linear_algebra/matrix/nonsingular_inverse): use ring.inverse in matrix.has_inv (#9863) …
Modified matrix.transpose_nonsing_invView on Github →