`with_bot` (#18487)

Commit

2 years ago

feat(*/with_top): add lemmas about `with_top`/`with_bot` (#18487) Backport leanprover-community/mathlib4#2406

Author

urkud

Parents