Def LocallyFiniteOrderBot.ofIic

Modification history

2024-03-18 10:51

Mathlib/Order/LocallyFinite.lean

fix: rename `LocallyFiniteOrderTop.ofIic` to `LocallyFiniteOrderBot` (#11371) …

Added LocallyFiniteOrderBot.ofIic View on Github →