Theorem TrivSqZeroExt.inr_injective

Modification history