level of section "Semirings" changed

avekens · Jan 19, 2025 · ae2227d · ae2227d
1 parent 3396ff3
commit ae2227d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/set.mm b/set.mm
@@ -251093,9 +251093,9 @@ of the multiplicative monoid ( ~ df-mgp ) of a ring-like structure.  This
 
 
 $(
--.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
+=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
   Semirings
--.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
+=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
 $)
 
   $c SRing $.