Unique factorization domain: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 September 2024

  • curprev 18:2318:23, 5 September 2024imported>Filipjack 13,948 bytes +13,948 There's no point in forcing the units to be part of the definition. The standard approach is to consider x to be non-zero and non-unit.