Theorem complete_univ

Modification history

2026-08-06 00:34
Mathlib/Topology/UniformSpace/Cauchy.lean
chore(Topology/UniformSpace): rename `complete_univ` to `isComplete_univ` (#42163) …
Deleted complete_univView on Github →
2023-02-03 08:41
Mathlib/Topology/UniformSpace/Cauchy.lean
feat: port Topology.UniformSpace.Cauchy (#2007)
Added complete_univView on Github →