Theorem detail

Alias: 2-primal implies Dedekind finite

Statement: 2-primal implies Dedekind finite

Link: None

Reference(s)

  • (Citation needed)