Unification of terms "ring unit" resp. "multiplicative identity"#4584
Merged
wlammen merged 7 commits intometamath:developfrom avekens:av_ruJan 21, 2025
+196-145
Commits
Commits on Jan 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
