[Home] [Table] [Glossary] [Families]

On this page are all constructions for C4[ 460, 7 ]. See Glossary for some detail.

R_230(117, 116) = PX(115, 2) = UG(ATD[460, 15])

      = UG(Rmap(920, 69) {115, 4| 4}_115) = PL(W(115, 2)[ 4^115]) = AT[460, 1]