Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-31 14:37 88d60dcf

View on Github →

feat(data/pnat/basic): coe_bit0 and coe_bit1 (#1288)

Estimated changes

added theorem pnat.coe_bit0
added theorem pnat.coe_bit1