Theorem qParam_right_inv

Modification history