Theorem isComplete_univ

Modification history

2026-08-06 00:34
Mathlib/Topology/UniformSpace/Cauchy.lean
chore(Topology/UniformSpace): rename `complete_univ` to `isComplete_univ` (#42163) …
Added isComplete_univView on Github →