isUniqueEvenUnimodularLatticeOfRank
P160422
predicate
Indicates that the subject is the only even unimodular lattice (up to isomorphism) having the specified rank.
Sample triples (1)
| Subject | Object |
|---|---|
| E8 lattice | 8 ⓘ |