Theorem Rep.diagonalSuccIsoTensorTrivial_inv_hom_single_right

Modification history