Theorem LinearMap.BilinForm.dualBasis_repr_apply

Modification history