Theorem Rep.diagonalSuccIsoTensorTrivial_inv_hom_single_single

Modification history