Commit 2024-07-11 19:57 d7188156

View on Github →

feat(Mathlib/Data/Matrix/Notation): delaborator for !![a, b; c, d] notation (#14376)

Estimated changes