Skip to content
Label PR based on Comment

feat(Topology/GDelta): a completely metrizable subspace of a T6 space is Gδ #216481

Sign in to view logs

feat(Topology/GDelta): a completely metrizable subspace of a T6 space is Gδ

feat(Topology/GDelta): a completely metrizable subspace of a T6 space is Gδ #216481

Triggered via pull request August 20, 2026 03:22
@plp127plp127
submitted #42912
Status Success
Total duration 5s
Artifacts –

labels_from_comment.yml

on: pull_request_review
update-label
2s
update-label
Fit to window
Zoom out
Zoom in