# HG changeset patch
# User HackBot
# Date 1475611626 0
# Node ID 46333135d7f452eed674d6ba5d7d3ff36c91ace4
# Parent  d50a5b115977d0eaae4f037ed27269f8bf47897f
<hppavilion[1]> le/rn hppavilion^k/hppavilion^k is a k-tuple of elements of hppavilion.

diff -r d50a5b115977 -r 46333135d7f4 wisdom/hppavilion^k
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/hppavilion^k	Tue Oct 04 20:07:06 2016 +0000
@@ -0,0 +1,1 @@
+hppavilion^k is a k-tuple of elements of hppavilion.