Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-31 19:49 62379393

View on Github →

fix(data/nat/enat): change [] to {} in some lemmas (#1054)

  • fix(data/nat/enat): change [] to {} in some lemmas
  • Update enat.lean
  • remove space

Estimated changes

modified theorem enat.to_with_top_coe'
modified theorem enat.to_with_top_top'
modified theorem enat.to_with_top_zero'