Theorem monovary_inv_right

Modification history