Theorem BilinForm.compRight_id

Modification history