∀ {β : Type u_1} [inst : PseudoMetricSpace β],
  autoParam (uniformity (ULift.{u_2, u_1} β) = ⨅ ε, ⨅ (_ : ε > 0), Filter.principal {p | dist p.1 p.2 < ε})
    PseudoMetricSpace.uniformity_dist._autoParam