Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-22 19:50 58cfe9f8

View on Github →

bug(ext): failure on ext lemmas with no hypotheses (#269)

Estimated changes

added theorem unit.ext