Theorem InnerProductSpace.Core.normSq_eq_zero

Modification history