Theorem TrivSqZeroExt.liftAux_comp_inrHom

Modification history