Theorem Matrix.comp_one

Modification history

2025-12-28 17:51
Mathlib/Data/Matrix/Composition.lean
feat(Algebra): stably finite rings (#32262) …
Added Matrix.comp_oneView on Github →