Unique factorization domains (#4872)

* Unique factorization domains

* As per @savask and @langgerard's review remarks

Author: tirix

changes-set.txt

@@ -89,27 +89,29 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
- 4-Jun-25 rhmpreimaidl  [same]  Moved from TA's mathbox to main set.mm
- 4-Jun-25 kerlidl    [same]     Moved from TA's mathbox to main set.mm
- 3-Jun-25 qusmul2    qusmul2idl 
- 1-Jun-25 rhmqusnsg  [same]     Moved from TA's mathbox to main set.mm
- 1-Jun-25 lidlnsg    [same]     Moved from TA's mathbox to main set.mm
- 1-Jun-25 qusmul     qusmulcrng Moved from TA's mathbox to main set.mm
+ 4-Jun-25 rhmpreimaidl [same]   Moved from TA's mathbox to main set.mm
+ 4-Jun-25 kerlidl   [same]      Moved from TA's mathbox to main set.mm
+ 3-Jun-25 inn0f     [same]      Moved from GS's mathbox to main set.mm
+ 3-Jun-25 inn0      [same]      Moved from GS's mathbox to main set.mm
+ 3-Jun-25 qusmul2   qusmul2idl  Moved from TA's mathbox to main set.mm
+ 1-Jun-25 rhmqusnsg [same]      Moved from TA's mathbox to main set.mm
+ 1-Jun-25 lidlnsg   [same]      Moved from TA's mathbox to main set.mm
+ 1-Jun-25 qusmul    qusmulcrng  Moved from TA's mathbox to main set.mm
  1-Jun-25 ghmqusnsglem2 [same]  Moved from TA's mathbox to main set.mm
  1-Jun-25 ghmqusnsglem1 [same]  Moved from TA's mathbox to main set.mm
- 1-Jun-25 ghmqusnsg  [same]     Moved from TA's mathbox to main set.mm
+ 1-Jun-25 ghmqusnsg [same]      Moved from TA's mathbox to main set.mm
 30-May-25 rhmply1mon [same]     Moved from SN's mathbox to main set.mm
 30-May-25 rhmply1vsca [same]    Moved from SN's mathbox to main set.mm
 30-May-25 rhmply1vr1 [same]     Moved from SN's mathbox to main set.mm
-30-May-25 rhmply1    [same]     Moved from SN's mathbox to main set.mm
-30-May-25 mhmcoply1  [same]     Moved from SN's mathbox to main set.mm
-30-May-25 ply1vscl   [same]     Moved from SN's mathbox to main set.mm
-30-May-25 rhmmpl     [same]     Moved from SN's mathbox to main set.mm
+30-May-25 rhmply1   [same]      Moved from SN's mathbox to main set.mm
+30-May-25 mhmcoply1 [same]      Moved from SN's mathbox to main set.mm
+30-May-25 ply1vscl  [same]      Moved from SN's mathbox to main set.mm
+30-May-25 rhmmpl    [same]      Moved from SN's mathbox to main set.mm
 30-May-25 rhmcomulmpl [same]    Moved from SN's mathbox to main set.mm
 30-May-25 mhmcoaddmpl [same]    Moved from SN's mathbox to main set.mm
-30-May-25 mhmcompl   [same]     Moved from SN's mathbox to main set.mm
-30-May-25 mpllmodd   [same]     Moved from SN's mathbox to main set.mm
-30-May-25 mplringd   [same]     Moved from SN's mathbox to main set.mm
+30-May-25 mhmcompl  [same]      Moved from SN's mathbox to main set.mm
+30-May-25 mpllmodd  [same]      Moved from SN's mathbox to main set.mm
+30-May-25 mplringd  [same]      Moved from SN's mathbox to main set.mm
 30-May-25 syl6bir   biimtrrdi
 27-May-25 coexd     [same]      Moved from SN's mathbox to main set.mm
 27-May-25 fzoopth   [same]      Moved from AV's mathbox to main set.mm
@@ -119,7 +121,7 @@ Date      Old       New         Notes
 20-May-25 mhppwdeg  [same]      Removed unneeded hypothesis
 20-May-25 mhpaddcl  [same]      Removed unneeded hypothesis
 20-May-25 mhpinvcl  [same]      Removed unneeded hypothesis
-20-May-25 mhpvscacl  [same]     Removed unneeded hypothesis
+20-May-25 mhpvscacl [same]      Removed unneeded hypothesis
 19-May-25 dfss2f    dfssf
 19-May-25 dfss2     [same]      Use df-ss statement
 19-May-25 df-ss     [same]      Use dfss2 statement