HMul 型クラスが目次に漏れていたので追加する

lean-ja · Nov 12, 2024 · 0afaf50 · 0afaf50
1 parent 4c1833f
commit 0afaf50
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/booksrc/SUMMARY.md b/booksrc/SUMMARY.md
@@ -87,6 +87,7 @@
   - [Functor: ファンクタ](./Reference/TypeClass/Functor.md)
   - [GetElem: n番目の要素を取得](./Reference/TypeClass/GetElem.md)
   - [HAdd: + のための記法クラス](./Reference/TypeClass/HAdd.md)
+  - [HMul: * のための記法クラス](./Reference/TypeClass/HMul.md)
   - [Inhabited: 有項にする](./Reference/TypeClass/Inhabited.md)
   - [OfNat: 数値リテラルを使用](./Reference/TypeClass/OfNat.md)
   - [Repr: 表示方法を指定](./Reference/TypeClass/Repr.md)