Theorem BilinForm.tensorDistribEquiv_toLinearMap

Modification history