规范化向量

食谱
使用的 Opam 包