Theorem LinearMap.BilinForm.apply_dualBasis_right

Modification history