Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
filter.Coprod_cocompact
Modification history
2021-04-14 23:14
src/topology/subset_properties.lean
feat(order/filter/*, topology/subset_properties): Filter Coprod (#7073) …
Added
filter.Coprod_cocompact
View on Github →