Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-11-21 22:33
d17db717
View on Github →
chore(*): golf proofs about
filter.Coprod
(
#10400
) Also add some supporting lemmas.
Estimated changes
Modified
src/data/fintype/basic.lean
added
theorem
fintype.coe_pi_finset
Modified
src/data/pi.lean
added
theorem
function.bijective_pi_map
added
theorem
function.injective_pi_map
added
theorem
function.surjective_pi_map
Modified
src/data/set/finite.lean
Modified
src/order/boolean_algebra.lean
added
theorem
compl_surjective
Modified
src/order/filter/basic.lean
added
theorem
filter.compl_mem_Coprod_iff
Modified
src/order/filter/cofinite.lean
Modified
src/topology/subset_properties.lean