mathlib
a9e43730 - Merge branch 'master' into alg_hom_of_ultrafilter

Commit

3 years ago

Merge branch 'master' into alg_hom_of_ultrafilter

References

#13307 - feat(field_theory/krull_topology): `alg_hom_of_ultrafilter`

Author

eric-wieser

eric-wieser

Parents

Loading