Definition:Product Inverse Operation/Historical Note

Historical Note on Product Inverse Operation
, in his of $1965$, discusses this operation briefly in an exercise, but fails to give a name to it.

However, he helpfully provides the notation $\div$ for us, in order to guide us down the channels we acquired in elementary school.