Revision #3447 → #3997 · back to history
f24e5c2db2b5| Field | From #3447 | To #3997 |
|---|---|---|
| note | IsG2/EmbeddedG2 abstractly characterise the 𝔤₂ root system and card_index_eq_twelve proves it has 12 roots, but the explicit hexagram construction is not given. | IsG2/EmbeddedG2 abstractly characterise the 𝔤₂ root system and EmbeddedG2.card_index_eq_twelve proves it has 12 roots, but the explicit hexagram construction is not given. |