Database
REAL AND COMPLEX NUMBERS
Elementary integer functions
The ` # ` (set size) function
chash
Next ⟩
df-hash
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
chash
Description:
Extend the definition of a class to include the set size function.
Ref
Expression
Assertion
chash
$${class}\left|.\right|$$