Theorem Finset.inv_inter

Modification history

2024-06-01 17:36
Mathlib/Data/Finset/Pointwise.lean
feat: `t.card ≤ (s / t).card` (#13436) …
Added Finset.inv_interView on Github →