Theorem Action.diagonalSuccIsoTensorTrivial_inv_hom_apply

Modification history