Theorem Algebra.TensorProduct.map_id

Modification history