Theorem WithBot.bot_wcovBy_coe

Modification history

2024-08-23 15:37
Mathlib/Order/Cover.lean
feat(Order/Cover): add lemmas about `WithTop`/`WithBot` (#15487)
Added WithBot.bot_wcovBy_coeView on Github →