Theorem QuadraticMap.tensorDistrib_tmul

Modification history