Theorem LinearMap.BilinForm.toLin'_apply

Modification history