Theorem BilinForm.baseChange_tmul

Modification history