Theorem Algebra.TensorProduct.map_range

Modification history