Theorem exists_minimal_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_of_wellFoundedLTView on Github →