Theorem Equiv.inv_symm

Modification history