Bookkeeping: mainly uniformize nf.mm preamble and headers with (i)set.mm#3779
Merged
benjub merged 11 commits intometamath:developfrom benjub:nf-databaseJan 21, 2024
+1,402-909
Commits
Commits on Jan 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 21, 2024
- committed
- committed