Theorem polyEquivTensor_apply

Modification history