Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Reduction Modulo a Prime (Irreducibility Test)

#3239
Statement

Universal Property of the Polynomial Ring

#3238
Statement

Unique Factorization in the Polynomial Ring over a Field

#3237
Statement

$k[x]$ Is a Principal Ideal Domain

#3236
Statement

Factor Theorem

#3235
Statement

Degree of a Sum and Product of Polynomials

#3234
Statement