Theorem LinearMap.BilinForm.comp_symmCompOfNondegenerate_apply

Modification history