Theorem Matrix.cons_val_one

Modification history

2023-07-21 08:49

Mathlib/Data/Fin/VecNotation.lean

feat(Data/Fin/VecNotation): add Matrix.cons_val_two (#5950)

Modified Matrix.cons_val_one View on Github →

2023-01-23 16:46

Mathlib/Data/Fin/VecNotation.lean

feat: port Data.Fin.VecNotation (#1741)

Added Matrix.cons_val_one View on Github →