Commit 2023-01-10 07:56 2ba550f7

View on Github →

feat: port CanLift instances for PNat (#1426)

Estimated changes

modified theorem PNat.mk_coe
added def PNat.val