Theorem Finset.sup_eq_union'

Modification history

2025-09-22 12:37
Mathlib/Data/Finset/Lattice/Basic.lean
feat: grind annotations for `Finset.sdiff` (#29427) …
Added Finset.sup_eq_union'View on Github →