Theorem Matrix.compAlgEquiv_apply

Modification history

2025-01-30 06:18

Mathlib/Data/Matrix/Composition.lean

feat: lemmas about `Matrix.comp` for `diagonal` and `stdBasis` (#21181)

Added Matrix.compAlgEquiv_apply View on Github →