Theorem BilinForm.tensorDistrib_tmul

Modification history