Theorem LocalEquiv.prod_symm

Modification history