d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC2xC20 | 80 | D5xC2xC20 | 400,182 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5:(C2xC20) = F5xC2xC10 | φ: C2xC20/C2xC10 → C2 ⊆ Out D5 | 80 | D5:(C2xC20) | 400,214 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.(C2xC20) = C20xF5 | φ: C2xC20/C20 → C2 ⊆ Out D5 | 80 | 4 | D5.(C2xC20) | 400,137 |