mathlib
b16045e4 - refactor(algebra/algebra): split alg_hom and alg_equiv to separate files (#17868)

Commit

3 years ago

refactor(algebra/algebra): split alg_hom and alg_equiv to separate files (#17868) The motivation here is mainly to make the file shorter.

Author

eric-wieser

Parents