Commit 2025-05-14 07:47 274edf8a
View on Github →chore: add deprecations for {Extract,Lift}Lets.lean (#24871) Automatically created by #24861. These files were removed in the toolchain bump in ##24561.
chore: add deprecations for {Extract,Lift}Lets.lean (#24871) Automatically created by #24861. These files were removed in the toolchain bump in ##24561.