Theorem LinearMap.BilinForm.apply_dualBasis_left

Modification history