Theorem Equiv.self_comp_ofInjective_symm

Modification history