Theorem UniformInducing.completableTopField

Modification history

2024-10-08 15:03
Mathlib/Topology/Algebra/UniformField.lean
chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …
Deleted UniformInducing.completableTopFieldView on Github →
2024-08-19 19:49
Mathlib/Topology/Algebra/UniformField.lean
feat: the pullback of a completable topological field is a completable topological field (#15068) …
Added UniformInducing.completableTopFieldView on Github →