Theorem PNat.uniformEmbedding_coe

Modification history

2024-10-03 20:47

Mathlib/Topology/Instances/PNat.lean

chore: Rename `UniformEmbedding` to `IsUniformEmbedding` (#17295) …

Deleted PNat.uniformEmbedding_coe View on Github →

2024-06-08 14:38

Mathlib/Topology/Instances/PNat.lean

feat: topology on `ℕ+`(`PNat`) (#13250)

Added PNat.uniformEmbedding_coe View on Github →