Commit 2024-07-30 16:56 99914c54
View on Github →chore(LocallyConvex/Bounded): rename variable
s (#15289)
Instead of introducing a normed field 𝕜
and a nontrivially normed field 𝕝
,
prove a theorem for a normed field, then assume that 𝕜
is a nontrivially normed field.