power function

Deductions

• type is for example power function ⇐ (power function is a type), (is a is inverse of is for example)
• power function is a type ⇐ (type of mathematical function is subclass of type), (power function is a type of mathematical function)
• type of mathematical function is for example power function ⇐ (power function is a type of mathematical function), (is a is inverse of is for example)
• power function is for example square ⇐ (square is a power function), (is a is inverse of is for example)