Commit 2026-06-03 18:10 630116a7
View on Github →chore(AlgebraicGeometry/Restrict): restore two lemmas that were deleted by toolchain bump (#40189) These two lemmas were originally added in #39442. Then the toolchain bump #39980 mysteriously deleted them two days later without replacement.