Pure definability is quotient-transitive: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

1 June 2020

5 January 2010

  • curprev 22:1522:15, 5 January 2010Vipul talk contribs 567 bytes +567 Created page with '{{subgroup metaproperty satisfaction| property = purely definable subgroup| metaproperty = quotient-transitive subgroup property}} ==Statement== ===Statement with symbols=== S…'