Theorem StrictAnti.not_bddAbove_range_of_isSuccArchimedean

Modification history

2026-02-22 13:15
Mathlib/Order/SuccPred/Archimedean.lean
chore(Order/SuccPred/Archimedean): use `to_dual` (#34882)
Added StrictAnti.not_bddAbove_range_of_isSuccArchimedeanView on Github →