mathlib
d17db717 - chore(*): golf proofs about `filter.Coprod` (#10400)

Commit

4 years ago

chore(*): golf proofs about `filter.Coprod` (#10400) Also add some supporting lemmas.

Author

urkud

Parents