Theorem Right.inv_nonneg

Modification history