Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-14 18:26 ce580d7b

View on Github →

refactor(data/equiv): rename subtype_equiv_of_subtype to subtype_congr and subtype_congr to subtype_congr_prop

Estimated changes

modified def equiv.subtype_congr