Theorem exists_minimal_le_of_wellFoundedLT

Modification history

2025-05-14 13:17
Mathlib/Order/Minimal.lean
feat: minimal elements exist in well-founded orders (#24766) …
Added exists_minimal_le_of_wellFoundedLTView on Github →