Theorem OrderEmbedding.range_inj_of_wellFoundedLT

Modification history

2026-08-24 11:53
Mathlib/Order/Hom/Set.lean
chore(Order/WellFounded): use `to_dual` (#39438) …
Added OrderEmbedding.range_inj_of_wellFoundedLTView on Github →