log wisdom/hppavilion^k @ 9302:ee570e73c8d9

age author description
Tue, 04 Oct 2016 20:07:06 +0000 HackBot <hppavilion[1]> le/rn hppavilion^k/hppavilion^k is a k-tuple of elements of hppavilion.