习包子 on Nostr: Termial and factorial are commutative whereas there is an implied sort-order for ...Termial and factorial are commutative whereas there is an implied sort-order for tetration (n-fold exponentiation) no?