Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Complexity theory
Division of functions
cfdiv
Next ⟩
df-fdiv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfdiv
Description:
Extend class notation with the division operator of two functions.
Ref
Expression
Assertion
cfdiv
class /_f