Theorem Equiv.right_inverse_symm

Modification history