Saturday, June 25, 2022
Note that this principle is less general than the principle of substitutivity for equalitiesd
gghnnnnn
