Theorem BilinForm.symmCompOfNondegenerate_left_apply

Modification history