[Merged by Bors] - chore(AlgebraicGeometry/Restrict): restore two lemmas that were deleted by toolchain bump#40189

justus-springer wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/readd_missing_restrict_lemmasjustus-springer/mathlib4:justus/readd_missing_restrict_lemmasCopy head branch name to clipboard