Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-14 13:14 7c1d3b4d

View on Github →

refactor(data/equiv/basic): simplify definition of equiv.of_bijective

Estimated changes

modified theorem equiv.of_bijective_to_fun