Theorem LinearMap.BilinForm.comp_inj

Modification history