Post #3213604

@MartinEscardo@mathstodon.xyz @jonmsterling@mathstodon.xyz Thank you for the warm welcome :-) I don't know yet whether I'll be active here but I'll give it a try.