Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Extensible Structures
The extended nonnegative real numbers commutative monoid
Next ⟩
xrge0base
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 20.3.8.7. The extended nonnegative real numbers commutative monoid
xrge0base
xrge00
xrge0plusg
xrge0le
xrge0mulgnn0
xrge0addass
xrge0addgt0
xrge0adddir
xrge0adddi
xrge0npcan
fsumrp0cl