equals package:gdp

The Equals relation is used to express equality between two entities. Given an equality, you are then able to substitute one side of the equality for the other, anywhere you please.