Commit 2021-08-09 13:47 f29cc59f

feat(matrix/kronecker): Add the Kronecker product (#8560) Largely derived from #8152, avoiding the complexity of introducing algebra_maps. This introduces an abstraction kronecker_map, which is used to support both mul and tmul without having to redo any proofs.