Theorem TrivSqZeroExt.inl_injective

Modification history