Theorem Part.inv_some

Modification history