Commit 2023-07-24 07:51 5d43a7b1

View on Github →

feat: lemma about WithBot.unbot (#6061)

Estimated changes

added theorem WithBot.le_unbot_iff
added theorem WithTop.untop_le_iff