Theorem exists_maximal_of_wellFoundedGT

Modification history

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