Theorem WithTop.forall_le_coe_iff_le

Modification history

2025-10-28 13:23
Mathlib/Order/WithBot.lean
feat(ENNReal): equality from comparing with nnreals (#30721) …
Added WithTop.forall_le_coe_iff_leView on Github →