Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-06-13 01:28 fe590ca2

View on Github →

fix(data/num/lemmas): fix formatting

Estimated changes

modified theorem pos_num.cast_one'
modified theorem pos_num.cast_one
added theorem pos_num.one_add