1 files changed, 6 insertions, 0 deletions
diff --git a/proof.norg b/proof.norg
index 2a0f768..7f35c1e 100644
--- a/proof.norg
+++ b/proof.norg
@@ -46,6 +46,12 @@ version: 1.1.1
 	 By grouping the operations we get:
 	 /Y = alpha * A * B + beta * C/
 
+** Flatten
+	 Just identity mapping
+
+** MatMul
+	 Equal to Gemm with alpha=1 and beta=0
+
 * Proof for the Interaction Rules
 ** Materialize
 	 The Materialize agent transforms a Linear agent into a tree of explicit mathematical operations