Theorem EquivLike.inv_injective

Modification history