{"articles":{"monotone-inf-is-liminf-proof@set-theory":{"content":"","names":[[["Proof",""]]]}},"style":"Proof"}