Wiktionary
principle of substitutivity
n. (context philosophy English) (alternative nameindiscernibility of identicals)