Did some rebasing and squashing, now mathlib-nightly is up to 4.8.0-rc2. Thank you for the help!
Let me know if it would be helpful to maintain tags for toolchain release candidates. At the moment I do not because I assumed people on release candidates would be okay using mathlib-nightly.
Did some rebasing and squashing, now
mathlib-nightlyis up to4.8.0-rc2. Thank you for the help!Let me know if it would be helpful to maintain tags for toolchain release candidates. At the moment I do not because I assumed people on release candidates would be okay using
mathlib-nightly.