Theorem EquivLike.comp_injective

Modification history