P
Initializing...
The type of a finite product of algebras is the sum of their types. · Prove2Me