mathlib
187bfa52 - feat(set/basic): additions to prod (#3943)

Commit

5 years ago

feat(set/basic): additions to prod (#3943) Also add one lemma about `Inter`.

References

#4925 - Make prime-avoidance branch build

Author

fpvandoorn

fpvandoorn

Parents

Loading