Def Set.IsWf

Modification history

2024-01-09 15:48

Mathlib/Order/WellFoundedSet.lean

chore(*): rename IsPwo to IsPWO (#9582) …

Deleted Set.IsWf View on Github →

2023-02-01 04:09

Mathlib/Order/WellFoundedSet.lean

feat: port Order.WellFoundedSet (#1975)

Added Set.IsWf View on Github →