Some shortenings, some credits and ALT restorations. Some edits#4559
Merged
benjub merged 6 commits intometamath:developfrom benjub:sucexeloniJan 12, 2025
+247-218
Commits
Commits on Jan 11, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Jan 12, 2025
- committed