Theorem StrictMono.isCofinal_range_of_wellFoundedLT

Modification history

2026-10-17 11:31
Mathlib/Order/WellFounded.lean
feat: every element is between two others in a club set (#44793) …
Added StrictMono.isCofinal_range_of_wellFoundedLTView on Github →