Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.toRight_eq_empty
Modification history
2025-03-31 14:24
Mathlib/Data/Fintype/Sum.lean
feat(Finset): extra `toLeft`/`toRight` API (#23020) …
Added
Finset.toRight_eq_empty
View on Github →