Theorem InnerProductSpace.Core.inner_zero_left

Modification history