The identity of indiscernibles applies to fundamental properties, not derivative power sets; two dis...
This proposition has not been edited since the history system was added.