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