Theorem Nat.map_cast_int_atTop

Modification history

2024-09-07 09:03

Mathlib/Order/Filter/AtTopBot.lean

feat(AtTopBot): generalize more to `Preorder` (#16548) …

Added Nat.map_cast_int_atTop View on Github →