le.eq function

Local equating methods