Commit 2024-01-15 21:28 137ab0bb

chore: gather results about Submodule.restrictScalars into new file (#9765) This is a straight copy-paste: there are no new lemmas and nothing has been removed or renamed. The only changes are a few lemmas where argument explicitness or ordering has changed (and where it did not seem to make sense to replicate the old argument explicitness or ordering).