mathlib3
11117ec5 - feat(topology/G_delta): a finite set is a Gδ-set (#9644)

Commit

4 years ago

feat(topology/G_delta): a finite set is a Gδ-set (#9644)

Author

urkud

urkud

Parents

Loading