Theorem quotient_prod_linearEquiv

Modification history