Theorem LocalEquiv.EqOnSource.eqOn

Modification history