mathlib
65ceb009 - fix(topology): simplify proof of Heine-Cantor (#3910)

Commit

5 years ago

fix(topology): simplify proof of Heine-Cantor (#3910)

References

#4925 - Make prime-avoidance branch build

Author

PatrickMassot

PatrickMassot

Parents

Loading