Theorem Finset.inf_eq_inter'

Modification history

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