units): maximal ideals in complete normed rings are closed (#16303)

Commit

3 years ago

feat(analysis/normed_space/units): maximal ideals in complete normed rings are closed (#16303)

Author

j-loreaux

Parents