Theorem Pi.mulSingle_inv

Modification history