block): injectivity lemmas (#18842)

Commit

2 years ago

feat(data/matrix/block): injectivity lemmas (#18842) Block matrices are equal if their blocks are equal

Author

eric-wieser

Parents