Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.preimage_singleton_false
Modification history
2023-09-26 11:46
Mathlib/Data/Set/Image.lean
feat: Sigma-algebra generated by a singleton (#2513) …
Added
Set.preimage_singleton_false
View on Github →