Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.union_eq_empty
Modification history
2023-10-01 12:14
Mathlib/Data/Finset/Basic.lean
chore: Make `Set`/`Finset` lemmas match lattice lemma names (#7378) …
Added
Finset.union_eq_empty
View on Github →