Theorem LocalEquiv.EqOnSource.symm_eqOn

Modification history