Theorem IsAntichain.finite_of_wellQuasiOrdered

Modification history

2025-02-13 21:54

Mathlib/Order/WellQuasiOrder.lean

feat(Order/WellQuasiOrder): `WellQuasiOrdered` predicate (#21008) …

Added IsAntichain.finite_of_wellQuasiOrdered View on Github →