Theorem LinearMap.BilinForm.add_right

Modification history