mathlib3
bf456200 - Show `equiv_like.inv` is injective, like `coe`

Commit

4 years ago

Show `equiv_like.inv` is injective, like `coe`

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading