Theorem Action.diagonalSuccIsoTensorTrivial_hom_hom_apply

Modification history