Principle of the Indiscernibility of Identicals

GPTKB entity