This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
cnm
Next ⟩
cngp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnm
Description:
Norm of a normed ring.
Ref
Expression
Assertion
cnm
class
norm