Theorem TensorProduct.map₂_mk_top_top_eq_top

Modification history