Theorem RingHom.map_adjugate

Modification history

2023-08-10 19:52
Mathlib/LinearAlgebra/Matrix/Adjugate.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified RingHom.map_adjugateView on Github →
2023-04-21 04:27
Mathlib/LinearAlgebra/Matrix/Adjugate.lean
feat: port LinearAlgebra.Matrix.Adjugate (#3554)
Added RingHom.map_adjugateView on Github →