Theorem exists_minimalFor_of_wellFoundedLT

Modification history

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