Commit 2024-05-13 14:42 047b7166
View on Github →chore: mark Prop.bot_eq_false/top_eq_true as simp (#12865) It seems unlikely that you'd ever want to keep these around.
chore: mark Prop.bot_eq_false/top_eq_true as simp (#12865) It seems unlikely that you'd ever want to keep these around.