#division.arithmetic_operation  an arithmetic operation that is the inverse of multiplication; the quotient of two numbers is computed
  supertype:  #arithmetic_operation  a mathematical operation involving numbers
  subtype:  #long_division  the operation of division in which the sequence of steps are indicated in detail
  subtype:  #short_division__shortdivision  the operation of division in which the sequence of steps is performed without writing them out

No statement uses or specializes #division.arithmetic_operation; click here to add one.