mathlib
e36abd0e - feat(topology): Completable field lemmas (#16805)

Commit

3 years ago

feat(topology): Completable field lemmas (#16805) Subfields of completable fields are completable and complete fields are completable.

Author

PatrickMassot

Parents