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

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

PL(ATD[ 54, 4]#DCyc[ 4]) = PL(CS(PL(ProjLR(3,3))[ 6^ 18], 0))