Theorem LinearMap.BilinMap.baseChange_tmul

Modification history