Theorem LinearMap.BilinForm.sub_apply

Modification history