Theorem Right.inv_pos

Modification history