P
Initializing...
Unit-root idempotent for an element of a module-finite ℤₚ-algebra · Prove2Me