Theorem Set.Subsingleton.isWeakAntichain

Modification history

2022-12-24 19:17
Mathlib/Order/Antichain.lean
feat: port `Order.Antichain` (#1206)
Added Set.Subsingleton.isWeakAntichainView on Github →