mathlib3
a27742c1 - Add a missing lemma about alg_equiv conversions

Commit

5 years ago

Add a missing lemma about alg_equiv conversions

References

#6642 - refactor(module/submodule): allow submodules to be used for sub-distrib_mul_actions

Author

eric-wieser

eric-wieser

Parents

Loading