Theorem Rep.diagonalSuccIsoTensorTrivial_inv_hom_single_left

Modification history