bump PR

Stream: batteries

[Kim Morrison]

https://github.com/leanprover/std4/pull/772 is the latest bump PR. Hopefully this is the last or second last before v4.8.0-rc1. Once this is merged I will open the PR from bump/v4.8.0 to main for final re-review!

[Kim Morrison]

@Mario Carneiro, I've fixed the test and responded re: the Init files. I'm inclined to hope the Init files just aren't needed in future, but will happily add them if that results in this getting merged quickly. :-)

[Mario Carneiro]

I'm pretty sure one of them is re-added in an open PR, so this seems like wishful thinking :)

[Mario Carneiro]

I think it is actually inevitable to need them, there will always be some theorems which are needed for some *.Basic files

[Mario Carneiro]

Perhaps these get upstreamed, but there is no particular reason to expect they are always wanted

[Mario Carneiro]

The other disruptive aspect of removing these files is that removing files is technically a breaking change, it causes downstream users' import lines to break

[Mario Carneiro]

I really hope we get better tools for managing import migration and removal

[Kim Morrison]

I disagree about needing these files for now, but have added them back to the PR for the sake of getting this out!