Theorem Matrix.finZeroElim_eq_zero

Modification history

2026-06-24 10:56
Mathlib/Algebra/Group/Fin/Tuple.lean
feat(Topology/CWComplex/Classical): discrete spaces are CW complexes (#38943) …
Added Matrix.finZeroElim_eq_zeroView on Github →