Theorem Matrix.comp_map_map

Modification history

2025-01-30 06:18

Mathlib/Data/Matrix/Composition.lean

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

Added Matrix.comp_map_map View on Github →