Database
BASIC TOPOLOGY
Metric spaces
Normed algebraic structures
ctng
Next ⟩
cnrg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ctng
Description:
Make a normed group from a norm and a group.
Ref
Expression
Assertion
ctng
class
toNrmGrp