Theorem TrivSqZeroExt.algHom_ext'

Modification history