Structure AbstractCompletion.{v,

Modification history

2025-08-04 10:34
Mathlib/Topology/UniformSpace/AbstractCompletion.lean
chore(AbstractCompletion): universe polymorphism (#27762)
Added AbstractCompletion.{v,View on Github →