Theorem Subtype.restrict_injective

Modification history