Commit 2026-08-06 00:34 f6dc05e3
View on Github →chore(Topology/UniformSpace): rename complete_univ to isComplete_univ (#42163)
Rename complete_univ to isComplete_univ since the statement of the theorem is IsComplete Set.univ, there is no predicate called complete.