Theorem Equiv.coe_ofInjective_symm

Modification history