Commit 2025-03-17 10:43 e3ed192a

View on Github →

chore: remove >6 months old deprecations (#22996)

Estimated changes

deleted theorem WithBot.none_le
deleted theorem WithBot.none_lt_some
deleted theorem WithBot.not_lt_none
deleted theorem WithBot.some_le_some
deleted theorem WithBot.some_lt_some
deleted theorem WithTop.le_none
deleted theorem WithTop.not_none_lt
deleted theorem WithTop.some_le_some
deleted theorem WithTop.some_lt_none
deleted theorem WithTop.some_lt_some