Theorem LocalEquiv.prod_source

Modification history