Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-30 11:14 a248befb

View on Github →

feat(data/pnat/basic): 0 < n as a fact (#11729)

Estimated changes

added theorem pnat.fact_pos