i1 : F1 = normalFan hypercube 1 o1 = F1 o1 : Fan |
i2 : F2 = normalFan hypercube 2 o2 = F2 o2 : Fan |
i3 : F = F1 * F2 o3 = F o3 : Fan |
i4 : F == normalFan hypercube 3 o4 = true |