User contributions for 129.199.97.156
Jump to navigation
Jump to search
12 June 2013
- 13:3113:31, 12 June 2013 diff hist +7,225 N Elementary equivalence →Elementary embeddings: Elementary embeddings requires the implication to go both ways.