Skip to content
Run pre-commit and in-place update PR on push

Update Mathlib/Topology/UrysohnsLemma.lean #68

Sign in to view logs

Update Mathlib/Topology/UrysohnsLemma.lean

Update Mathlib/Topology/UrysohnsLemma.lean #68

Triggered via push October 31, 2025 17:58
@CoolRmalCoolRmal
pushed 27b40ec
uniqueness-riesz
Status Success
Total duration 25s
Artifacts –

pre-commit.yml

on: push
main
16s
main
Fit to window
Zoom out
Zoom in