mathlib into alg_hom_of_ultrafilter

Commit

3 years ago

Merge branch 'alg_hom_of_ultrafilter' of https://github.com/leanprover-community/mathlib into alg_hom_of_ultrafilter

References

Author

Sebastian-Monnet

Parents