Def Equiv.pnatEquivNat

Modification history

2024-06-27 21:45

Mathlib/Data/PNat/Basic.lean

chore: delay imports of OrderedRing via PNat (#14182)

Modified Equiv.pnatEquivNat View on Github →

2022-12-23 12:08

Mathlib/Data/PNat/Basic.lean

feat: port Data.PNat.Basic (#1144) …

Added Equiv.pnatEquivNat View on Github →