Commit 2024-10-15 23:21 7ca047f4
View on Github →chore: move Init.Logic and its remaining dependencies to Deprecated (#17771)
The results in this file have been deprecated for a while and none seem to be used in Mathlib except for other deprecated results that aren't used either. So let's move everything to the Deprecated folder in order to empty out the Init folder.