From 7dd7230cdd4b725a6837a195752831594080b2a9 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 23 Jul 2020 13:01:58 -0400 Subject: No need for Each to get scalar function leading axis agreement any more --- docs/doc/leading.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/doc/leading.html b/docs/doc/leading.html index fba0d4c4..0301ddd4 100644 --- a/docs/doc/leading.html +++ b/docs/doc/leading.html @@ -154,7 +154,7 @@ 16 17 18 19 20 21 22 23 ┘ - 1000200 +¨ x # 0-cells paired with 2-cells + 1000200 + x # 0-cells paired with 2-cells ┌─ ╎ 100 101 102 103 104 105 106 107 @@ -171,7 +171,7 @@ 0 100 0 0 ┘ - c +¨ x # 0-cells paired with 1-cells + c + x # 0-cells paired with 1-cells ┌─ ╎ 100 101 102 103 4 5 6 7 -- cgit v1.2.3