view wisdom/hppavilion^k @ 9953:67e1a11cc04e

<oerjan> addscowrevs 8669:8678
author HackBot
date Mon, 12 Dec 2016 03:20:01 +0000
parents 46333135d7f4
children
line wrap: on
line source

hppavilion^k is a k-tuple of elements of hppavilion.