Theorem Finset.IsAntichain.sperner

Modification history

2023-02-02 11:17

Mathlib/Combinatorics/SetFamily/LYM.lean

feat: port Combinatorics.SetFamily.LYM (#1969)

Added Finset.IsAntichain.sperner View on Github →