normSq_eq_norm_mul_self — Mathlib · SciLib

∫ Утверждение Mathlib

normSq_eq_norm_mul_self

Mathlib.Analysis.Quaternion

URI: https://scilib.ai/kg/mathlib#Quaternion.normSq_eq_norm_mul_self

← MathLib Explorer