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