Theorem BddBelow.isWF

Modification history

2025-01-22 18:42
Mathlib/Order/WellFoundedSet.lean
chore(Order/WellFoundedSet): flip `isWF_iff_isPWO` (#20937) …
Added BddBelow.isWFView on Github →