Theorem isAntichain_singleton

Modification history

2025-10-02 19:28
Mathlib/Order/Antichain.lean
feat(Order): synchronize IsAntichain API with IsChain (#29834) …
Deleted isAntichain_singletonView on Github →
2022-12-24 19:17
Mathlib/Order/Antichain.lean
feat: port `Order.Antichain` (#1206)
Added isAntichain_singletonView on Github →