Def UniformEquiv.prodPUnit

Modification history

2026-02-15 14:33
Mathlib/Topology/UniformSpace/Equiv.lean
chore: rename "Punit" to "PUnit" in definitions (#34972) …
Added UniformEquiv.prodPUnitView on Github →