Theorem PNat.dist_coe

Modification history

2024-06-08 14:38
Mathlib/Topology/Instances/PNat.lean
feat: topology on `ℕ+`(`PNat`) (#13250)
Added PNat.dist_coeView on Github →