Theorem Matrix.const_fin1_eq

Modification history

2024-02-26 22:59
Mathlib/Data/Fin/VecNotation.lean
feat: fractional polymorphisms for VCSP (#7894)
Added Matrix.const_fin1_eqView on Github →