Theorem Representation.repOfTprodIso_apply

Modification history