Theorem LinearMap.BilinForm.tensorDistrib_tmul

Modification history