Commit 2023-07-25 11:29 34dea34e

View on Github →

feat: lemmas about WithBot.unbot (#6124)

Estimated changes

added theorem WithBot.unbot_le_iff
added theorem WithTop.le_untop_iff