Theorem IsStrongAntichain.swap

Modification history

2026-01-02 17:00
Mathlib/Order/Antichain.lean
chore(Order/Defs/Unbundled): deprecate `IsSymm` in favor of core's `Std.Symm` (#33325)
Modified IsStrongAntichain.swapView on Github →
2022-12-24 19:17
Mathlib/Order/Antichain.lean
feat: port `Order.Antichain` (#1206)
Added IsStrongAntichain.swapView on Github →