Theorem LinearMap.BilinForm.baseChange_tmul

Modification history