Commit 2023-07-21 08:49 33e66091

View on Github →

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

Estimated changes

modified theorem Matrix.cons_val_one
added theorem Matrix.cons_val_two