{"articles":{"union-under-mapping-proof@set-theory":{"content":"","names":[[["Proof",""]]]}},"style":"Proof"}