Theorem PNat.pow_coe

Modification history

2023-11-17 05:53
Mathlib/Data/PNat/Basic.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified PNat.pow_coeView on Github →
2023-05-25 00:26
Mathlib/Data/PNat/Basic.lean
chore: fix statement of PNat.pow_coe (#4298)
Modified PNat.pow_coeView on Github →
2023-02-06 07:13
Mathlib/Data/PNat/Basic.lean
feat: port Data.PNat.Factors (#1830)
Modified PNat.pow_coeView on Github →
2022-12-23 12:08
Mathlib/Data/PNat/Basic.lean
feat: port Data.PNat.Basic (#1144) …
Added PNat.pow_coeView on Github →