Theorem Action.tensor_hom

Modification history