Theorem PNat.sub_le

Modification history

2024-05-02 08:30
Mathlib/Data/PNat/Basic.lean
feat(PNat/Basic): two small sub/le lemmata (#12492)
Added PNat.sub_leView on Github →