d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xC3:D15 | 90 | C2xC3:D15 | 180,36 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:D15:1C2 = D5xC3:S3 | φ: C2/C1 → C2 ⊆ Out C3:D15 | 45 | C3:D15:1C2 | 180,27 | |
C3:D15:2C2 = S3xD15 | φ: C2/C1 → C2 ⊆ Out C3:D15 | 30 | 4+ | C3:D15:2C2 | 180,29 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:D15.C2 = C32:F5 | φ: C2/C1 → C2 ⊆ Out C3:D15 | 30 | 4+ | C3:D15.C2 | 180,25 |