nightly-2019-06-24

Pre-release

Pre-release

leanprover-mathlib-bot released this 24 Jun 19:20

· 2 commits to master since this release

nightly-2019-06-24

ab383ae

Changes since nightly-2019-05-17:

Full commit log

ab383ae fix(level): give level.instantiate correct type (#46)

Assets 6