Theorem Matrix.cons_val_two

Modification history

2023-07-21 08:49
Mathlib/Data/Fin/VecNotation.lean
feat(Data/Fin/VecNotation): add Matrix.cons_val_two (#5950)
Added Matrix.cons_val_twoView on Github →