mathlib3
642809e9 - feat(algebra/ring/equiv): add lemma on coercion to equivs and symm (#17101)

Commit

3 years ago

feat(algebra/ring/equiv): add lemma on coercion to equivs and symm (#17101)

Author

alexjbest

alexjbest

Parents

Loading