Theorem exists_maximalFor_of_wellFoundedGT

Modification history

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