User talk:GrzegorzBancerek

Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers! prime mover (talk) 21:26, 12 November 2015 (UTC)

Topology work
You will notice that I have done some rework on the pages you have added. This is because we have a detailed and tightly-controlled house style (both in presentation of material and structure of source code), which you will become familiar with as work progresses.

You may wish to amend the citations under the "Sources" heading to the Engelking work to reference the revised edition of 1989, if that is the one you are using. If this is the case, then please replace all instances of:

with:

I would also like to suggest that you include an indication of the chapter / section / item number in the work (as appropriate) that each page references.

Also note the template that can (and should) be used for referencing Mizar.

I am thinking about the differences in definition of derived set / set derivative, and whether the reference to "accumulation point" is in fact the same thing as "limit point". When I decide how to resolve this, I will refactor the pages in question to match the house style that has evolved.

Many thanks for this excellent work. --prime mover (talk) 22:44, 19 December 2015 (UTC)