Theorem PiTensorProduct.map_range_eq_span_tprod

Modification history