Theorem Subtype.coind_injective

Modification history