Definition:Product Inverse Operation/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Product Inverse Operation

The term product inverse operation was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.