Theorem LinearMap.BilinForm.zero_left

Modification history