Theorem TrivSqZeroExt.liftAux_inrHom

Modification history