Theorem detail

Alias:

Statement: 2-primal implies Dedekind finite

Link:

Reference(s)

  • (Citation needed)