Theorem Equiv.left_inv'

Modification history