mathlib
a59c802d - changed from intermediate_field to is_scalar_tower

Commit

3 years ago

changed from intermediate_field to is_scalar_tower

References

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

Author

Sebastian-Monnet

Sebastian-Monnet

Parents

Loading