Skip to content
Post PR summary comment

feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField #18921

Sign in to view logs

feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField

feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField #18921

Triggered via pull request September 17, 2024 23:53
@pecherskypechersky
synchronize #15424
pechersky/totally-bounded-iff-finite-residue
Status Success
Total duration 46s
Artifacts –

PR_summary.yml

on: pull_request
build
38s
build
Fit to window
Zoom out
Zoom in