Theorem Algebra.TensorProduct.map_ker

Modification history