log wisdom/hppavilion^k @ 12270:a92152b1f5ec draft

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.