Mathlib v3 is deprecated. Go to Mathlib v4

Theorem injective_iff

Modification history

2020-10-23 10:15
test/import_order_timeout.lean
fix(deprecated/*): remove instances (#4735) …
Added injective_iffView on Github →