Commit 2024-08-19 19:49 89c72c41
View on Github →feat: the pullback of a completable topological field is a completable topological field (#15068) This PR contains results showing that the pullback of a completable topological field under a uniform inducing ring homomorphism is a completable topological field.