Theorem LocalEquiv.symm_piecewise

Modification history