MathDB1 problem
Stable SPT classification group-structure conjecture. The operation is well defined, independently of the representatives, and makes an abelian group.
Stable SPT classification group-structure conjecture. The operation is well defined, independently of the representatives, and makes an abelian group.