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