krull_topology.lean

Commit

3 years ago

Update src/field_theory/krull_topology.lean Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

References

Author

Sebastian-Monnet

Parents