Commit 2024-08-14 10:13 d69f8430
View on Github →chore: protect TensorProduct.{map_one, map_mul} (#15754) It's quite common to use the root ones, even with the TensorProduct namespace opened.
chore: protect TensorProduct.{map_one, map_mul} (#15754) It's quite common to use the root ones, even with the TensorProduct namespace opened.