User talk:Austrodata

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) 06:45, 11 September 2024 (UTC)

Composition of Relations

Are you looking to clean up the mess around 'Composition of Relations'?

If not, I'll tackle it. I need a diversion from what I have been doing, but I'll leave it if this is something you'd like to tackle. --Leigh.Samphier (talk) 11:16, 5 March 2025 (UTC)

• Oh, I'll leave it to you with pleasure. -- Austrodata (talk) 14:12, 5 March 2025 (UTC)

It seems I didn't know what I was talking about when I munged this load of melange together. Take it away, maestro. Either of you. --prime mover (talk) 18:18, 5 March 2025 (UTC)

Good job

You know what you're doing, and you are making solid contributions here, so you have been added to the "trusted" user group.

Hence you now have the ability to manage pages (e.g. rename, delete, etc.) --prime mover (talk) 08:18, 9 March 2025 (UTC)

Thanks. It will make things a bit easier. -- Austrodata (talk) 11:06, 9 March 2025 (UTC)

Redirect pages

The purpose of the #Redirect page is to hide the page structure from pages not involved in the structure. Hence I reverted your change in Product of Sequence Converges to Zero with Cauchy Sequence Converges to Zero --Leigh.Samphier (talk) 22:39, 11 March 2025 (UTC)

I'm not sure I understand. I mean: I understand the principle but it wasn't a redirect but an orphaned link. But anyway, no problem. -- Austrodata (talk) 22:43, 11 March 2025 (UTC)

My mistake, I should have checked the reversion. Someone has changed the proof to introduce a redirect and then not created the redirect (hopefully not me). I've now created the redirect. Cheers, --Leigh.Samphier (talk) 22:51, 11 March 2025 (UTC)

for some reason the redirect had not been created in the first place. In any case, I would recommend Cauchy Sequence in Normed Division Ring is Bounded instead, as it is more accurately descriptive of the result. --prime mover (talk) 22:53, 11 March 2025 (UTC)

Category Theory

Thank you for taking on the task of revisiting this. Good job. --prime mover (talk) 15:55, 7 April 2025 (UTC)