has Coxeter number

URI: https://gptkb.org/prop/has_Coxeter_number
3 triples
GPTKB property
Random triples
Subject Object
gptkb:root_system_of_E_7 18
gptkb:E8_root_system 30
gptkb:E8_group 30