Theorem LocalEquiv.EqOnSource.symm'

Modification history