Theorem PNat.dist_eq

Modification history

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