Theorem Representation.repOfTprodIso_inv_apply

Modification history