Commit 2025-09-22 13:29 bfeb1b06
View on Github →chore(InnerProductSpace/OfNorm): golf (#29783) Golf a lemma from the proof of the Jordan-von Neumann theorem (parallelogram law characterization for Hilbert spaces).
chore(InnerProductSpace/OfNorm): golf (#29783) Golf a lemma from the proof of the Jordan-von Neumann theorem (parallelogram law characterization for Hilbert spaces).