Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.succ_inj'

Modification history

2018-10-08 14:30
data/nat/basic.lean
refactor(*): touching up proofs from 'faster' branch
Added nat.succ_inj'View on Github →